Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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
    languagetext
    $ 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
    languagetext
    $ git remote set-url origin git@github.com:kieler/<repo>.git
  7. (optinal) Verify that the remote URL has changed.

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

...