maintenance on git.mpimet.mpg.de, access temporarily blocked

Dear Users,

we have encountered technical problems and systems crashes of the git server git.mpimet.mpg.de.

In order to fix these problems we need to block the access to the git server. All repositories (including ICON) will not be accessible during
the repair.