I-nominated vs I-prioritize labels on Github

Just to let everyone know that we have now I-nominated (tag issues with this label if you want those to be discussed and I-prioritize tag issues with this label if you want the @WG-prioritization to prioritize them.

This image probably make things more clear:

3 Likes

FYI, that "image" link takes me to a login page

Thanks for pointing that out! I've inlined the image into the top post now.