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
  • create or update a submodule on
    • update .gitmodule (with git submodule add command)

Updated by Jin-Guk Kwon over 5 years ago · 2 revisions