issue #294 (closed)
enabled an automatic merge when the pipeline for 9cd07a51 succeeds
mentioned in commit 608b3ba8
merged