Gitlab upgrade finished!

Dear GHC Devs, I'm happy to tell you that Ben and I successfully upgraded the postgres yesterday. Ben heroically pulled through with the gitlab upgrade all the way to the latest available until 7am my time! Huge thank you to the heroic work of Ben, taking the time and nerves to put up with this non-sense. It took at total of 14 hours until he was finished. Have fun with the new UI. Best Magnus