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