Stream: t-lang/wg-unsafe-code-guidelines

Topic: GitHub labels


RalfJ (Aug 03 2019 at 09:48, on Zulip):

I feel our labels are a mess. I'd like to roughly organize them a bit more like the rustc labels, along separate "dimensons" (in rustc that's things like A-* vs C-). We already have topic-, so that could become T-* and get the same color. I think "kind" also makes sense, with things like K-open-question, K-discussion-topic, K-list, K-glossary-request.
Are you fine with me doing some reorganization here? I did this with Miri before and I am quite happy with the result (https://github.com/rust-lang/miri/issues)

RalfJ (Aug 04 2019 at 09:52, on Zulip):

no response I guess means "go for it"?^^

gnzlbg (Aug 05 2019 at 08:18, on Zulip):

go for it :)

RalfJ (Aug 05 2019 at 16:57, on Zulip):

it's on my list now :) I thought I would get there on the weekend but did not

RalfJ (Aug 14 2019 at 07:25, on Zulip):

I feel I want separate categories for "wide open" questions like "what are the rules for volatile" vs the issues we currently have open for Stacked Borrows, which are way more concrete. Any proposals for how to best distinguish these?

RalfJ (Aug 14 2019 at 07:28, on Zulip):

though OTOH, some of the stacked borrows questions are also rather wide open, so maybe that's okay

RalfJ (Aug 14 2019 at 08:42, on Zulip):

all right, I did a pass over all the labels and issues. let me know if anything seems wrong to you.

Tom Phinney (Aug 14 2019 at 10:09, on Zulip):

I feel I want separate categories for "wide open" questions like "what are the rules for volatile" vs the issues we currently have open for Stacked Borrows, which are way more concrete. Any proposals for how to best distinguish these?

Perhaps tag them "general" vs "specific", or "abstract" vs "concrete".

Last update: Nov 19 2019 at 17:35UTC