Archive inactive compiler WGs

[apiraino]

This patch does some cleanup.

• Archives:
  • wg-debugging
  • wg-polymorphization
  • wg-self-profile
  • wg-incr-comp
• Renames active groups where work is happening, removing the "Working Group" wording (which T-compiler is sunsetting).

This is part of the work stemming from rust-lang/compiler-team#848

Thanks

[apiraino]

cc @Kobzol / @marcoieni

I'm not sure how to fix this CI error 🤔

[ERROR rust_team::validate] validation error: access for rust-lang/wg-debugging is invalid: 'wg-debugging' is not configured as a GitHub team for the 'rust-lang' org

(I have just moved the team .toml file into the archive)

[Kobzol]

There is a wg-debugging repo, that should also be archived (and its access.teams should be thus empty).

Btw if the "working group" suffix is dropped, it might look a bit weird on the website (it will show just "Binary size" as the header).

[marcoieni]

I tried to improve the error message in #1764 👍

[apiraino]

I get a new error locally, unrelated to this PR:

[ERROR rust_team::validate] validation error: GitHub user `m-rph` changed username to `PartiallyUntyped`

Should I fix this first in a separate PR? What do we do in these cases?

[Kobzol]

Yeah, we should do that in a separate PR. It's a bit unfortunate, but when a user in the team DB renames themselves, it currently blocks team's CI 😅

[apiraino]

Yeah, we should do that in a separate PR. It's a bit unfortunate, but when a user in the team DB renames themselves, it currently blocks team's CI 😅

Must be my lucky day. Exactly while I was changing stuff here :D

[github-actions]

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    ❌ Deleting team 'rust-lang/wg-incr-comp'
    ❌ Deleting team 'rust-lang/wg-debugging'
    ❌ Deleting team 'rust-lang/wg-rustc-reading-club'
    💻 Repo Diffs:
    📝 Editing repo 'rust-lang/rustc-reading-club':
      Permission Changes:
        Removing team 'wg-rustc-reading-club''s write permission 
    📝 Editing repo 'rust-lang/wg-debugging':
      Archive
      Permission Changes:
        Removing team 'wg-debugging''s write permission 
    📝 Editing repo 'rust-lang/wg-incr-comp':
      Archive
      Permission Changes:
        Removing team 'wg-incr-comp''s write permission 

[marcoieni]

In case this is ready, probably a team-repo-admin should review this (not infra admins) since it changes teams 👍

[apiraino]

Btw if the "working group" suffix is dropped, it might look a bit weird on the website (it will show just "Binary size" as the header).

I thought it was ok but since you mention maybe it was not that ok, so I have added a "working area" suffix for some of them, which is not great either but it feels better (and I am uninspired to find a better title anyway). At least it's coherent with what we have in the forge

[Kobzol]

Yeah, it's hard to find a good name. Working group actually was a pretty good match 😆 Working area sounds fine.

[jackh726]

r? @davidtwco @wesleywiser

(particulary on "working area" naming, I guess)

[davidtwco]

I'd probably make the remaining groups into marker teams so that they're just ping lists - I think that is what we're intending with these changes.

[apiraino]

@Kobzol I think we're done here

(to be clear: I've intentionally only touched files marked as compiler subteams)

[Kobzol]

Fine by me :) (I can't approve it though)

[apiraino]

cc @technetos for a last look and push the merge button :^)

r? @technetos

[jackh726]

Please remove all leads from archived teams too, please.

[jackh726]

Archived teams still have the leads?

[apiraino]

Archived teams still have the leads?

sorry. pushed those, too