On Thursday, 2nd February from 9 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
Fixes after reprocessing #689 #690 See merge request !487