Archive wg-binary-size

[apiraino]

This WG was created in rust-lang/wg-binary-size#4. I did some research and couldn't find any recent activity.

This repository works in a way that we cannot have "orphaned" GH usernames under ./people so I deleted the three persons from ./people that were in this WG.

To be sure I am not deleting a real team member, I checked the Zulip history chat (nothing recent or nothing at all) and the git contributions in various repositories under the rust-lang organization. Based on the following output, I think it's safe to delete them (instead of putting them in alumni status):

Repository blog.rust-lang.org

Alyssa Haroldsen (1):

• 5b42f3c3 Add missing generic in "perfect derive" paragraph

Repository rust

Alyssa Haroldsen (3):

• 3ce5f6eb44b Correct the -> there typo in items.md
• a22b9bf2e69 Rename copying ascii::Char methods from as_ to to_
• 12ce6f65642 Fix typo in E0793

h1467792822 (2):

• 6e53e66bd3b MCP # 705: Provide the option -Csymbol-mangling-version=hashed -Z unstable-options to shorten symbol names by replacing them with a digest.
• 92325a95b38 Fixed the private-dependency bug: If the directly dependent crate is loaded last and is not configured with --extern, it may be incorrectly set to private-dependency

Repository team

Alyssa Haroldsen (1):

• afd3a1a Add kupiakos.toml, add to wg-binary-size (Add kupiakos.toml, add to wg-binary-size #1141)

[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-binary-size'
    💻 Repo Diffs:
    📝 Editing repo 'rust-lang/wg-binary-size':
      Archive
      Permission Changes:
        Removing team 'wg-binary-size''s write permission 

[Kobzol]

CC @thomcc, but since the wg has been inactive for more than a year, I think it's fair to say that it can be archived. I think that this work is quite open-ended and some progress is happening regardless of the WG, and since we don't meet regularly, a WG probably isn't needed.

That being said, this PR actually deletes the working group instead of archiving it. It should be put into the teams/archive directory, and its repo should be put into repos/archive/rust-lang.

[apiraino]

ooops forgot to push everything

[Kobzol]

Changes look fine module one nit. (Note that I can't approve PRs here though).

[wesleywiser]

Seems reasonable to me but also cc'ing @m-ou-se as the other wg lead