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