During summer vacation, Gitlab will be restart frequently. Use it carefully.
enabled an automatic merge when the pipeline for 588c9189 succeeds
mentioned in commit de5a6882
merged