enabled an automatic merge when the pipeline for 7eeb2104 succeeds
merged
mentioned in commit 01ed6d3b