This document describes how to transfer a repository to the W3C GitHub organization.
See also general information about GitHub repo transfer.
- Make sure the W3C GitHub organization doesn't already have a repository with the same name. If the name is already taken, the owner will need to rename the repository first
- The repository owner initiates the transfer. This is done via the repo settings (see screen shot below):
- if the owner is a W3C staff, they can transfer the repository directly to the W3C organization
- if the owner is an individual that cannot create new repository under the W3C organization, they need to transfer the repository to a W3C staff who will then transfer to the organization
- if the owner is another organization, a W3C staff first needs to join the organization as an owner or admin of the repository to make the transfer and that staff will issue the transfer to the W3C organization
Once the transfer is done, the next steps vary depending on the nature of the repository (specifications development or tooling).
- if the repository is about specifications development, it needs to be tracked by the W3C repository manager to help ensure that contributions are properly managed under W3C patent policies. To add a repository to the W3C repository manager, someone with admin rights on the repository needs to import it via the "import" tool. The repository manager will offer to add some files (
LICENSE.md, etc) if they don't already exist and will add a webhook to the repository.
Be careful to select the right link to log in to the repository manager.
- if the repository is not about specifications development, you only need to add a file
w3c.jsonat the root of the repository
If the repository contained a specification published through GitHub Pages, also consider adding redirects because Cool URIs don't change! When you transfer a repository, GitHub automatically redirects GitHub repo links (
https://github.com/[org]/[repo]) but it does not redirect GitHub Pages links (
https://[org].github.io/[repo]). That breaks former links to the specification. There is no direct way to create a redirect for GitHub Pages but the following steps can be used to redirect
- Create a
[org]if it does not exist already.
- Create a
[repo]folder in the
- Add an
index.htmlfile under the
[repo]folder, which contains the following HTML code:
<!DOCTYPE html> <script> const currentHash = window.location.hash; const newLocation = "https://w3c.github.io/[repo]/" + currentHash; window.location = newLocation; </script>
See the wicg.github.io repository for examples of redirects set in place when WICG repositories transition to the W3C organization.