Gitlab
Version 1.1 by Thomas Coelho (local) on 2023/03/02 15:41
Gitlab is a git hosting platform with CI/CD support and much more running in our server room.
Gitlab is open for everyone with an ITP account. Choose the "ITP Account" tab on the login page.
https://gitlab.itp.uni-frankfurt.de