The source project of this merge request has been removed.
Gitlab will be upgraded to 15.11 at 16.30 UTC (18.30 CEST, 13.30EDT) and will be briefly unavailable.
Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.