hi @Pietro Albini
could you add all the current members of the wg to the team repo and enable github synchronization to it?
I need the wg to be a github team to land https://github.com/rust-lang/rust/pull/64119#issuecomment-527411235
(to properly ping people for rustc-guide toolstate failures)
ohh that's cool
I can do that
I mean, I can add the wg to the team repo
enable github syncronization to it means?
I think the wg is already there, but some members are missing
(or at least mark-i-m and amanjeev)
enable github syncronization to it
that means adding this toml snippet:
[github] orgs = ["rust-lang"]
once it's in the team .toml in the team repo the github team will automatically be created and synchronized
for example see https://github.com/rust-lang/team/pull/105
cool, will do