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