Open Infrastructure

h1. Migration of github repositories

h2. 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