A system upgrade is being installed. GitLab will be read-only for about an hour and unavailable for some minutes during the upgrade process.
Version submitted to TACAS'20
