Git Hosting

The faculty provides Git repository hosting facilities for all faculty members that need to collaborate with external persons or simply want 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.

The git repositories can be accessed like this:

git clone 

This is possible from wherever you have access to

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

How to Register a New Repository

If you need a publicly accessible Git repository, open a new ticket on our request tracker and include the following information:

  • The name of the new Git repository
  • Your username 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.

Example: Alice wants a repository called "SomethingCool". She also wants Bob to have access to the repository. Alice simply has to write to the 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 got a response from us, 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 is the git community book. There are different possible workflows that you can use with git. A "proven one" is documented at the successful git branching model. This is especially recommended if you want to use git collaboratively.

If you think your code is awesome and you want to share it with the world you also might want to use Github. Then everyone can enjoy your wits.