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