enabled an automatic merge when the pipeline for e80c5344 succeeds
mentioned in commit 8ac8c4aa
merged
mentioned in commit ddc74d10