Due to security problems, the old Gitlab server will be discontinued on October 2nd, 2020!
*) Please migrate your projects from the old server (https://141.20.100.155) to the new server (https://gitlab.wiwi.hu-berlin.de) as soon(!) as possible.
*) Please note that the old server can only be reached in the HU network (eg. via VPN).