Access challenges might occur due to improper redirection between website versions. The following links may help by providing alternative routes to reach gitlab.mpi-sws.org:

Or return to the current status page of gitlab.mpi-sws.org.