enabled an automatic merge when the pipeline for c7c970e5 succeeds
mentioned in issue #572
merged
mentioned in commit 8d3a6fc8