Git Hosting

We provide Git repository hosting for everyone that needs to collaborate with persons from outside the University or simply wants to have their code managed in a repository.

The repository is set up by us and you only have to provide us with the names and the public SSH keys of the persons that should be able to access the repository.

Accessing the Repository

The Git repositories can be accessed like this:

git clone 

This is possible from everywhere, so also from outside the University network.

Note that there is currently a size limit of 100MB per repository! If you need larger repositories, please contact us via the math:helpdesk.

Registering a New Repository

If you need a Git repository, write an e-mail to the math:helpdesk and include the following information:

  • The name of the new Git repository
  • Your math:account name and your public SSH key
  • Names and public SSH keys of all persons that should be able to access the repository

You can specify multiple keys per user and multiple users per repository.

Note that DSA keys are not supported!

Example: Alice wants a repository called "SomethingCool". She also wants Bob to have access to the repository. Alice simply has to write to the math:helpdesk the name of the new repository (SomethingCool), the users who should have access to the repository (alice, bob) and the public SSH keys of alice and bob. After she gets a response from the math:helpdesk, she and Bob should be able to clone the new repository:

git clone 

Then they both can push their commits to the new repository.

Additional Information

A rather good source of information for how to use Git is the Git community book. There are different possible workflows that you can use with Git. A "proven one" is documented on the Successful Git Branching Model website. This is especially recommended if you want to use Git collaboratively.

If you think your code is useful for the general public and you want to share it with the world (and you have the necessary rights to do so), you might want to consider using a public Git hosting service like Github or Gitlab.