Gitlab has been updated. More info here and there.
changed milestone to %v1.0
added bug label
enabled an automatic merge when the pipeline for df13cc7a succeeds
merged
mentioned in commit 99420061