Adjusting to GitHub Migration

All public repositories from our Bitbucket server have been migrated to GitHub.
If you want to continue to use your already cloned repositories or you are currently using an Eclipse installation for Kieler created with Oomph, you should to take action according to the following guides.

Private repositories are now located in the IfI GitLab. There is a separate internal migration guide for members of our group.

Updating Remote URL

If you have unpushed branches/commits or you want to continue to use your a repository that was initially cloned from our Birbucket system, you have to adjust the remote URL.

1. Open a terminal
2. Change the current working directory to your local repository

3. List your existing remotes in order to get the name of the remote you want to change (usually origin)

   $ git remote -v
   > origin  git@git.rtsys.informatik.uni-kiel.de:7999/KIELER/<repo>.git (fetch)
   > origin  git@git.rtsys.informatik.uni-kiel.de:7999/KIELER/<repo>.git (push)

   The given example uses an URL for access via SSH, if you are using HTTPS, the URL might differ

   
   

4. Find the new repository location on GitHub
5. Click on clone to inspect the new URL of the repository

6. Change your remote's URL to the new location using the git remote set-url command.

   $ git remote set-url origin git@github.com:kieler/<repo>.git

7. (optinal) Verify that the remote URL has changed.

   $ git remote -v
   > origin  git@github.com:kieler/<repo>.git (fetch)
   > origin  git@github.com:kieler/<repo>.git (push)