Git.uni-jena.de wird von 17:00 bis 18:00 Uhr aktualisiert. Das System steht in diesem Zeitraum nur eingeschränkt zur Verfügung.