enabled an automatic merge when the pipeline for 3ffdb1c6 succeeds
mentioned in commit 54d6bcdc
merged