Git Serv­er

The IRB provides a Git(lab) Server for students and faculty.

You can create and manage repositories yourself on the server's web interface.
We use GitLab, which is functionally similar to GitHub.

Server access requires the same permissions as our pool room computers, so if you can access these, you can access the GitLab interface. If you cannot yet login to our pool computers, or are unsure if you can, see the relevant section here.

Important Notice: Before you can add other users to your repository, they will each need to have logged in to the GitLab web interface at least once.

Important Notice: Due to technical concerns we recommend that you prefer our dedicated Wiki server to the Wikis built into GitLab,.

Ac­cess In­form­a­tion

Repository are reachable via the following methods, both externally and from within the university. The exact URIs are shown on the repo's page in the web interface.

  • SSH:  'ssh://irb-git@git.cs.upb.de:2222/<user>/<repo-name>.git'

    To use SSH (which we strongly advise),  you will need to have added your SSH-Public-Key to your Gitlab profile. This limits your password to the one used to encrypt your local ssh key, if you've chosen to encrypt it (which we also recommend).

  • HTTPS: 'https://git.cs.upb.de/<user>/<repo-name>.git'

    HTTPS access requires only your IMT credentials; these will have to be entered on each access to the repo.

Additional users can be granted access via each repo's settings page; they will each need to have logged into the web interface at least once before access rights can be granted.

Access to the GitLab server for external collaborators is possible. Please apply for an IMT Guest Account for each person that requires access. The procedure to do so is documented at the IMT Wiki. It is possible that you will need to activate the "IT-Dieste für Informatiker" (CS Department IT Services) for each accout, which is documented here. Please be aware of the above notice regarding initial logins.

Server­wide Changes

Time of Announcement: 8th May 2024

Time of Change: 22nd June 2024

 

Context

After consulting with the IMTs firewall-team and the security policies of the Federal Office for Information Security (BSI) we realized that we won't be able to allow access to Git-Repositories via the SSH default port 22. Instead we will allow these connections via port 2222.

What has to be done

On every device where you have cloned a repository you will need to update the url/port. On the commandline you can change a repositories url with `git remote set-url origin` (Documentation) . Using `git remote get-url origin` (Documentation) shows your current URL.

The URL needs to be changed as follows: Add 'ssh://' to the beginning. Add '2222/' after
'git.cs.uni-paderborn.de:'.

Full 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 take action

Since the announcement (8th May) both port 22 and port 2222 allow to access the git server via SSH. Starting from the 22nd June only port 2222 will be accessible.

Therefore we urge you to update your URLs at your earliest convenience.

Further information: