Stud.IP / Plugins / Trac2Gitlab