GIT Server
The IRB provides a Git(lab) server for students and staff.
The administration and configuration of repositories takes place via the web interface of the GIT server and can be carried out by employees and students themselves. To do this, you can log in to the web interface using the ZIM login. New repositories can then be created there, additional members can be added and repositories can be configured.
Important note: In order to give a user access to a repository, they must have already logged in to the web interface of the Git server once.
Important note: For technical reasons, we recommend using our dedicated wiki server instead of the wikis built into Gitlab.
Access information
A repository can be accessed from inside and outside the university using the following methods. The exact URIs are also displayed on the overview page of your repository.
- SSH: 'ssh://irb-git@git.cs.upb.de:2222//.git'
To use SSH (which is strongly recommended) you must store your own SSH public key in the profile settings on the GIT server. When using it, only the password of your local SSH private key is required, provided it is password-protected (which is also recommended).
- HTTPS: 'https:// git.cs.upb.de//.git'
Only the IMT access data is required for HTTPS access, but this must be entered each time it is accessed.
You can authorise additional users to access your repository yourself in the repository settings. However, they must have logged into the Git server at least once beforehand so that the necessary data is stored.
Access to the GitLab server for external project partners is possible. Please apply for a guest account at ZIM for each person who should have access.
How to get such a ZIM guest account is documented in the ZIM Wiki. You may then have to activate the "IT services for computer scientists" for each guest account, which is documented here. Please also note the information above regarding logging in for the first time.
Server-wide changes
Date of the announcement: 8 May 2024
Date of the changeover: 22 June 2024
Context
After consultation with the IMT firewall team and in view of the security guidelines of the Federal Office for Information Security (BSI), we will not be able to offer access to Git repositories via SSH via the standard port 22 in the future. Instead, we will enable access via port 2222.
What to do
For you, this means that you have to change the URL or port on all end devices on which you have cloned a repository. You can do this in the command line with `git remote set-url origin`(documentation). With `git remote get-url origin`(documentation) you can display your current URL.
You then have to adjust your current URL. At the very beginning you have to add an 'ssh://' and after the 'git.cs.uni-paderborn University.de:' you have to add '2222/'.
For example:
old: irb-git@git.cs.uni-paderborn.de:nutzername/repository.git
new: ssh://irb-git@git.cs.uni-paderborn.de:2222/nutzername/repository.git
When to act
Since the announcement by email on 8 May, both port 22 and port 2222 have been active and accepting connections. From 22 June, only port 2222 will be available.
Please update your git URLs as soon as possible.