Michal Čihař edited this page May 16, 2016 · 5 revisions

This page describes migration of Git repositories to github.

  • Register github account and send information about username to Michal.
  • Wait until all people are added to the github project and final switch date is announced.
  • Change your repositories to use github instead of for all your repositories (just change the last part for other repos):

git remote set-url origin

  • For read only repositories it would be:

git remote set-url origin git://

  • You're done :-).


You generally don't need these recipes, these are just to prevent me forgetting them until the migration is done. --Nijel 10:52, 5 February 2012 (CET)

Pushing all branches from origin to github:

git branch -r | grep origin/ | grep -v HEAD | sed 's@.*/@@' | while read b ; do git checkout $b ; git push github $b:$b ; done

Do not forget to push tags:

git push --tags github


Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.