Github migration
W3C Github migration
The WG has agreed that we would rather have the specs on github in repositories hosted under the W3C account than on other version control systems or sites. This page tracks decisions and work on this.
Naming scheme
The repositories should be named with a two-level name: Responsible body + spec ID.
The groups are webrtc and mediacap.
The spec ID should be "spec" for the main spec of each group, and a descriptive name for each non-main spec. The names should be short, but not abbreviations.
Thus, the names will be:
- webrtc-spec
- webrtc-stats
- mediacap-spec
- mediacap-record
- mediacap-image
- mediacap-scenarios
Timing of migration
New documents, and documents with no associated web of people checking them out, can move at any time. The mediacap-spec should move at a convenient time wrt editing - the time of bug close before Last Call should be a good time.
Suggested dates:
- Aug 20: Repos are created
- Aug 21: -stats moves in (it currently has no place)
- Before Sep 15: All others move
We will do the migration from other github repos as simply as possible - fork the repo into the new place, and commit a single change that deletes everything that is not the specs we want. Repo size is not a huge consideration.