Stream: t-compiler/wg-learning

Topic: wg on the team repo


Pietro Albini (Sep 03 2019 at 19:45, on Zulip):

hey everyone!

Santiago Pastorino (Sep 03 2019 at 19:45, on Zulip):

hi @Pietro Albini

Pietro Albini (Sep 03 2019 at 19:45, on Zulip):

could you add all the current members of the wg to the team repo and enable github synchronization to it?

Pietro Albini (Sep 03 2019 at 19:46, on Zulip):

I need the wg to be a github team to land https://github.com/rust-lang/rust/pull/64119#issuecomment-527411235

Pietro Albini (Sep 03 2019 at 19:46, on Zulip):

(to properly ping people for rustc-guide toolstate failures)

Santiago Pastorino (Sep 03 2019 at 19:46, on Zulip):

ohh that's cool

Santiago Pastorino (Sep 03 2019 at 19:46, on Zulip):

I can do that

Santiago Pastorino (Sep 03 2019 at 19:46, on Zulip):

I mean, I can add the wg to the team repo

Santiago Pastorino (Sep 03 2019 at 19:47, on Zulip):

what does enable github syncronization to it means?

Pietro Albini (Sep 03 2019 at 19:47, on Zulip):

I think the wg is already there, but some members are missing

Pietro Albini (Sep 03 2019 at 19:47, on Zulip):

(or at least mark-i-m and amanjeev)

Pietro Albini (Sep 03 2019 at 19:48, on Zulip):

enable github syncronization to it

that means adding this toml snippet:

[github]
orgs = ["rust-lang"]
Pietro Albini (Sep 03 2019 at 19:48, on Zulip):

once it's in the team .toml in the team repo the github team will automatically be created and synchronized

Pietro Albini (Sep 03 2019 at 19:48, on Zulip):

ETOOMANYTEAMS

Pietro Albini (Sep 03 2019 at 19:49, on Zulip):

for example see https://github.com/rust-lang/team/pull/105

Santiago Pastorino (Sep 03 2019 at 20:15, on Zulip):

cool, will do

Last update: Nov 15 2019 at 20:05UTC