GitLab

Unter https://git.ps.informatik.uni-kiel.de betreibt die AG eine eigene Installation von GitLab, in der insbesondere für folgende Dinge Repositories abgelegt werden:

• An der AG etwickelte Curry-Systeme, -Tools und ähnliches
• Von der AG betriebene Webanwendungen
• Veröffentlichungen
• Studentische (Abschluss)Arbeiten
• Vorlesungsskripte
• Materialien für vorlesungsbegleitende Übungen

Die Administration von GitLab erfolgt vom Administrator der AG.