Migration of github repositories¶

How to migrate a repository from github to https://code.ungleich.ch¶

• create a new repo on code.ungleich.ch
  • group ungleich-public for public repos
  • group ungleich-intern for internal repos
  • your user for private repos
• Push the current code to the new repo on code.ungleich.ch
• Update github
  • Locally create a new branch named "github"
  • Delete all files in this branch
  • Create a new file README.md in this branch
  • Add the content "This repository has been moved to ..." and point it to the repository on code.ungleich.ch (example: https://github.com/ungleich/dynamicweb)
  • Push the github branch to github
  • Login to github and make the github branch the default branch