Sync Repos

[rylev]

This follows up on rust-lang/team#801 by syncing repo information encoded in the team repo with GitHub.

The data that is synced is:

• Repo name/org
• Repo description
• Teams and their permissions
• Bots and their permissions

Given the configuration for the team repo as it is encoded in the team repo, the following would change:
currently the team repo has the bots team as a team on the repo. This change would add each individual bot to the repo.

We could change the encoding in the team repo to allow specifying that a repo should have all bots, but perhaps these bots aren't actually necessary?

Lastly, I haven't actually tested that the write calls to the GitHub API work. If the initial review on this is positive, I will actually give this a real run.

[Mark-Simulacrum]

This looks good to me.

I think we should keep bots as separate accounts being added with the automation - IIRC, the team was intended to make it easier for us to propagate adding them, but as we manage things through the repo there's less value in that (maybe zero).

I think we will end up wanting to add individual users, which now that we're controlling permissions via automation seems (more) okay. Teams are still a best practice but creating a team per repository might be a bit much (or maybe is the way to go, with automatic addition, not sure).

[rylev]

re: teams vs adding individuals - I agree that we should allow for adding individuals, but we should try our best to not do so when adding an individual to a team makes more sense.

I'll give this a test, and we can merge once we know everything works.

[rylev]

@Mark-Simulacrum I tested this against the team repo, and everything was synced successfully. Feel free to give it a merge if you'd like.