enabled an automatic merge when the pipeline for b07d7914 succeeds
merged
mentioned in commit 69216788