For new projects: GitLab.LiU
GitLab.liu.se is a new LiU service with much more resources than GitLab.IDA. GitLab.LiU also includes CI and related services. Please use GitLab.LiU for any new projects.
The old service: GitLab.IDA
Although GitLab.IDA was the first GitLab server at LiU, it has now been superseded by GitLab.LiU.
The IDA server remains to allow old projects to finish or migrate to the new server. Please don't create any new projects at this old server.
Migrating between GitLab services
A git repository can be pushed to a new GitLab.
- Log in to GitLab.LiU.se, set up SSH keys.
- In your git repository run (replace liuid and project-name):
git push --set-upstream email@example.com:liuid/project-name.git master
- Follow the instructions from GitLab
Projects using GitLab features (like issues or wiki) could use the export / import functions to relocate everything.
API for group-level export/import is implemented during GitLab 12.8/12.9 (this regards groups' metadata, projects will still need to be transfered).
Feel free to remove your account in GitLab.IDA settings if it isn't used.
HTTP vs SSH push/pull
HTTP is only supported for cloning public repositories. Use SSH (with keys) for all other work with the repositories.
GitLab host key
The host key for gitlab.ida.liu.se was last changed at 2017-01-18. Fingerprint:
Could we have this feature?
GitLab is open source and you can take part through the following links:
Check Gitlab CE issues and the guidelines on how to contribute.
Note that GitLab.IDA has some version dependencies which prevent frequent updates. Use GitLab.LiU for all the latest GitLab features.
If you experience technical issues with GitLab.ida, contact firstname.lastname@example.org.
Page responsible: Webmaster
Last updated: 2020-03-12