GitLab Runners cleaning campaign ongoing (ETA 2nd October 2023). Check https://cern.ch/otg0078219 for further information.
The MR of the MuonID (!612 (closed)) has been moved from master to 2017-patches. Only the relevant files are included in this new MR.
Also fixes a bug in the upgrade configuration, that was overestimating the efficiency - see !707 (comment 333243)