On the 17th of April from 18:00 to 20:00, We will be upgrading GitLab. During this time the service will be unavailable, apologies for any inconvenience
enabled an automatic merge when the pipeline for 7ce45d92 succeeds
merged
mentioned in commit 3904be62