Archiving a repo

If a group takes an incubation, but decides not to take the repository, then it's prudent to archive the repository.

1. Make sure the "intent to migrate" is filled out. If not, act shocked and deeply DEEPLY offended.
2. Make sure all issues are closed or "transfer" them (i.e., ask the repo owner what they want to do with them).
3. Disable Github pages via the repo settings. If the repo has a gh-pages branch, you might need to merge into "master" and kill the gh-pages branch.
4. Make sure the README points to the new home.
5. Make sure the repository header info also says that repo has moved.
6. Make a new directory in wicg.github.io - and copy over an existing index.html.
7. Replace the redirect code in index.html file
8. git push all that up to wicg.github.io.
9. Update the WICG Tracking sheet
10. Check biblio.js - remove entry for spec if there.