Migration of github repositories » History » Revision 1

Revision 1/2 | Next »
Nico Schottelius, 12/03/2018 12:49 PM

Migration of github repositories

How to migrate a repository from github to

  • create a new repo on
    • 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
  • Update github
    • Locally create a new branch named "github"
    • Delete all files in this branch
    • Create a new file in this branch
    • Add the content "This repository has been moved to ..." and point it to the repository on (example:
    • Push the github branch to github
    • Login to github and make the github branch the default branch

Updated by Nico Schottelius about 3 years ago · 1 revisions