enabled an automatic merge when the pipeline for 3fc9ea2a succeeds
mentioned in commit d4c3f0d0
merged