In this how-to we will move repositories from
https://source.coderefinery.org to have an explicit example
but the strategy is general and works with any host name.
Please also note that GitLab has good import functionality from all major platforms.
Before you move your repositories check whether you track any issues in your
current repository by visiting
https://source.uit.no/your-namespace/your-project/issues. If you see issues
listed there, stop here and contact
firstname.lastname@example.org to discuss how
to move issues. If no, please continue below. The moving will be very easy.
email@example.com get your account activated so that you can create groups and projects.
https://source.coderefinery.org/your-namespace/your-project/. You can do this either under your namespace or you can create new groups and place projects there.
$ git clone --mirror firstname.lastname@example.org:your-namespace/your-project.git
$ cd your-project.git
$ git push --mirror email@example.com:your-namespace/your-project.git
You can verify this by visiting
If yes, you need to move the wiki separately since it is not part of the code project.
Moving a wiki is very similar to moving the code repository:
$ git clone --mirror firstname.lastname@example.org:your-namespace/your-project.wiki.git
$ cd your-project.wiki.git
$ git push --mirror email@example.com:your-namespace/your-project.wiki.git
At the end verify that all branches and tags are present on the new server
If you moved wikis, make sure they are present on the new server. If you are
unsure whether the migration worked, please contact
and we will try to help you double-checking the procedure.
If you have questions or need any assistance with moving repositories, please
firstname.lastname@example.org and we will try to help you out.