Set more WG teams as marker team

[apiraino]

Follow up to #1763

With this patch I am moving some WG teams from working-group to marker-team. The reasoning is (as per this comment and this other comment on Zulip) that these are more "ping lists" rather than full-fledged teams.

Please review these changes for inaccuracies, I am building a picture of the Rust project structure as I go :-)

If these changes are conceptually correct, then I'll figure out something to fix the validation error.

Thanks!

cc: @davidtwco
r? @ehuss

[ehuss]

I don't think I would agree these would be good to set as marker teams. These don't seem like they are just used for pinging. Many of these teams have leads, an identity, and structure, and also include various permissions. I would also not recommend modifying archived teams (there's not much of a point for that).

[apiraino]

I don't think I would agree these would be good to set as marker teams

All of them? Then I don't have clear the line that qualifies a team to be marker (as discussed on Zulip). You mean to just drop this patch or there's something to salvage? The WG-prio team has never been a team so at least that one should be ok :-)

[ehuss]

I think for now my guidance would be: If the only purpose is to support @rustbot ping foo, then that would make sense to use a marker team. From what I can tell, all of these seem to be something more than that.