During summer vacation, Gitlab will be restart frequently. Use it carefully.
See #16 (closed).
enabled an automatic merge when the pipeline for 82c86b39 succeeds
merged
mentioned in commit c7f2b54f