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