GitLab service interruption on Wednesday 20th July between 17:30h - 18:30h. More info: http://cern.ch/go/6nWg
mentioned in commit 8788fe67
mentioned in merge request !876 (merged)