Page History

...

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

...

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)

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

   Info
   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 (or IfI GitLab for internal ones)
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.

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

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

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

...