If experiencing difficulty accessing gitlab.mpi-sws.org, the issue might lie with incorrect redirection settings configured between various site versions. Please try using one of the links below:

http://gitlab.mpi-sws.org https://gitlab.mpi-sws.org

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