Heya,
die angekündigte Gitlabmigration (zu @forgejo ) ist größtenteils vorbei. Es sollte sich kaum was verändert haben. Das Git ist wie gehabt unter https://git.fsinf.informatik.uni-leipzig.de/user/login erreichbar, es sieht jetzt nur anders aus. Falls doch etwas kaputt ist, lasst es uns gerne wissen ^^