Using version control systems GitLab
https://gitlab2.informatik.uni-wuerzburg.de/ (gitlab icurrent Version)
https://gitlab.informatik.uni-wuerzburg.de/ (Old instance, only accessible from inside the
university or through the uni-vpn, will be closed on 20.06.2016)
If you do not have an account, look here.
Creating and managing repositories
With GUI, a help-button is available after login
Adding students to git projects
- If the student doesn't have an account at the department of computer science, a staff member has to create an account for the student: How to create accounts
- The student will receive a mail and has to register himself at the git system. This registration is just the act of logging in once on the gitlab portal and is necessary because we use a community edition of gitlab which does not allow us to directly use ldap users inside.
- Then, the staff member can add the student to the project: At the git project website on the left side: Settings -> Members -> New project member
Mac Users beware: If you are downloading a project through the GitLab export function using Safari - Ensure that your downloaded file is a *.tar.gz file and that Safari does not automatically uncompress the file into a *.tar format. The problem here would be that when you import this project again, GitLab expects a gzipped file and if not you will get an error.
This Safari default can be deactivated using the option "Safari->Preferences->General->Open Safe Files after Downloading" (The checkbox should not be selected).
For any question/bug report/upgrade wish/etc. concerning our central IT at CS, please write an email to the functional address email@example.com. Two of us (Fritz Kleemann and Lakshminarasimhan Srinivasan) are behind this address.