enabled an automatic merge when the pipeline for 7f7553f0 succeeds
mentioned in commit 6dec8b44
merged