During summer vacation, Gitlab will be restart frequently. Use it carefully.
enabled an automatic merge when the pipeline for 66daef5e succeeds
merged
mentioned in commit 0863c65d