Hey @WG-meta -- here is a task we need to do. The compiler-team page on the main website has a list of working groups, but it is out of date. It is generated from the rust-lang/team repository data. So we need to synchronize our set of working groups from rust-lang/compiler-team with that repository. I don't know how we can do that manually. We also should update the form new working group procedure to include this step. The "members" for these purposes should be the leads, and we should also add a repo link like this one that points to the appropriate working-group directory. (I assume @Pietro Albini that can be any URL?)
Would anyone be up for this?
(I added a note to the agenda for our meeting tomorrow)
yep, the repo url can be any url
cc @nikomatsakis and @Pietro Albini