During summer vacation, Gitlab will be restart frequently. Use it carefully.
See #21 (closed).
enabled an automatic merge when the pipeline for 57117601 succeeds
merged
mentioned in commit 1b7e09f7