enabled an automatic merge when the pipeline for f04a15d0 succeeds
mentioned in commit 5b9edec4
merged