enabled an automatic merge when the pipeline for 8b087570 succeeds
merged
mentioned in commit 06284e0d