Stream: t-compiler/wg-meta

Topic: github group names

davidtwco (Mar 11 2019 at 10:41, on Zulip):

I think we should standardise on the capitalisation of WG in our GitHub group names. They aren't all the same right now.

Pietro Albini (Mar 11 2019 at 10:44, on Zulip):

can you use all lowercase?

davidtwco (Mar 11 2019 at 10:45, on Zulip):

Others do.

davidtwco (Mar 11 2019 at 10:45, on Zulip):

wg-mir-opt is lowercase while WG-compiler-nll is uppercase.

davidtwco (Mar 11 2019 at 10:45, on Zulip):

Most of them are lowercase so we should probably match that.

davidtwco (Mar 11 2019 at 10:46, on Zulip):

We've also moved away from having a WG-compiler- prefix to just WG- in our Zulip groups, but unsure if that makes sense for GitHub.

davidtwco (Mar 11 2019 at 10:47, on Zulip):

The inconsistency in general with GitHub group names - which case, do they have descriptions, etc - bothers me slightly, but that's another topic. :stuck_out_tongue:

Pietro Albini (Mar 11 2019 at 12:50, on Zulip):

we're going to have to fix it when we migrate github teams to the team repo :D

davidtwco (Mar 11 2019 at 19:17, on Zulip):

(we should probably take advantage of GitHub child teams for working groups too, I just noticed them - it appears as if members of the child group needn't be members of the parent group)

nikomatsakis (Mar 11 2019 at 19:18, on Zulip):

@davidtwco I feel like GH child teams are not good for our purposes

nikomatsakis (Mar 11 2019 at 19:18, on Zulip):

if I recall, if you are a member of the child, you are also a member of the parent

nikomatsakis (Mar 11 2019 at 19:19, on Zulip):

i.e., it's more of a "subtype"-like relationship

nikomatsakis (Mar 11 2019 at 19:19, on Zulip):

which is the inverse of what we wanted

nikomatsakis (Mar 11 2019 at 19:19, on Zulip):

but I could be wrong

davidtwco (Mar 11 2019 at 19:26, on Zulip):

I don't think that is the case - in this documentation they have a screen showing more child team members than parent team members and say:

Members of a child team are not direct members of the parent team.

nikomatsakis (Mar 12 2019 at 14:26, on Zulip):

Well, that's true, but it also says

Child teams inherit the parent's access permissions, simplifying permissions management for large groups. Members of child teams also receive notifications when the parent team is @mentioned, simplifying communication with multiple groups of people.

and gives an example like


nikomatsakis (Mar 12 2019 at 14:27, on Zulip):

my point is that if we made "working groups" part of "t-compiler", then wg members would have the full rights of t-compiler.

nikomatsakis (Mar 12 2019 at 14:28, on Zulip):

it seems like we would need a setup more like

davidtwco (Mar 12 2019 at 14:29, on Zulip):

Fair enough, I misread the documentation there.

Last update: Sep 18 2020 at 08:00UTC