search

WICG / admin

👋 Ask your questions here! 👋
47 stars 40 forks source link

Document steps to archive a repo when the repo doesn't get moved #111

Closed marcoscaceres closed 4 years ago

marcoscaceres commented 4 years ago

We sometimes need to archive a repo even though another working group has adopted the spec, so it would be good to document those steps... putting this here as a draft as I do this, then we can move to the wiki:

  1. Make sure the intent to migrate is filled out. If not, act shocked and deeply DEEPLY offended.
  2. Disable Github pages via the repo settings: 1.1 If the repo has a gh-pages branch, you might need to merge into "master" and kill the gh-pages branch.
    1. Make sure the README points to the new home.
    2. Make sure the repository header info also says that repo has moved.
    3. Make a new directory in wicg.github.io - and copy over an existing index.html. 1.1. Replace the redirect code in index.html file 1.1. git push all that up to wicg.github.io.

I think that's it.

marcoscaceres commented 4 years ago

Moved here https://github.com/WICG/admin/wiki/Archiving-a-repo

marcoscaceres commented 4 years ago

Added a few more steps:

  1. Update the WICG Tracking sheet
  2. Check biblio.js - remove entry for spec if there.