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