Dear GHC Devs,

I will take down the gitlab in the early afternoon CEST (in ~1 hour) to upgrade it to the latest patch version. This is required to fix two criticial security issues in Gitlab's GraphQL API.

Best 

Magnus