Steps for WICG Admin and for Github user (repo owner):

1. User: Make sure you are a WICG Member and have signed IPR agreement (join).
2. Admin: Invite the repo owner to the WICG - through the people interface. Add them to the "collaborator" group.
3. Admin: Check the repo name adheres to our repo naming policy: lowercase, dashes (foo-bar, not fooBar!). If it doesn't adhere, ask the owner user to rename their repo.
4. Admin: Once the user accepts the invite, ask the user to transfer the repo over. This is done in the repository settings, under "danger zone".
5. Admin: Add the user back as "admin", through the repository interface.
6. Admin: Add the repo to the repo manager.
7. Admin: Email [email protected] - letting them know of the new repo. If you want a specific review (e.g. a privacy review from PING), see the HR instructions.
8. Admin + User: go have a drink 🍻!