Seems I don't have enough permissions to merge it myself into master.
GitLab Runners cleaning campaign ongoing (ETA 2nd October 2023). Check https://cern.ch/otg0078219 for further information.
Seems I don't have enough permissions to merge it myself into master.