GitLab.IDA is a service for code collaboration. It's primarily intended for IDA's students and employees, but is accessible for anyone with a valid LiU-ID login.
Employees can create accounts for external users to be able to collaborate outside of LiU:
GitLab.ida external user manager
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?
If you experience technical issues with GitLab.ida, contact email@example.com.
Page responsible: Webmaster
Last updated: 2017-03-20