Stream: t-compiler/wg-meta

Topic: adding a new label


lcnr (Jul 28 2020 at 15:07, on Zulip):

What's the process to add a new label to github?

I want F-min_const_generics to track which issues are actually relevant there

nikomatsakis (Jul 28 2020 at 15:10, on Zulip):

ugh, I don't know that there's a process, but adding F- foo labels is a constant annoyance to me. I'll go add it :)

nikomatsakis (Jul 28 2020 at 15:11, on Zulip):

(I like the idea of f- labels, I just mean that it's annoying to have to go create one)

nikomatsakis (Jul 28 2020 at 15:11, on Zulip):

I .. suspect you have the privileges actually, but maybe not

nikomatsakis (Jul 28 2020 at 15:11, on Zulip):

done!

lcnr (Jul 28 2020 at 15:12, on Zulip):

I do, but I never have been explicitly allowed to do so :laughing:

Jonas Schievink (Jul 28 2020 at 16:54, on Zulip):

The process has so far been "just add it", especially for F- and A- labels

Last update: Sep 28 2020 at 16:15UTC