Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
ge3242
mboxstats
Repository
Branches
Overview
Active
Stale
All
Stale branches
main
default
protected
eee876d4
·
Merge branch 'ci' into 'master'
·
Dec 09, 2021