fixes #1228 (closed)
enabled an automatic merge when the pipeline for a1e7e778 succeeds
merged
mentioned in commit 830b0008