enabled an automatic merge when the pipeline for 78de84dd succeeds
mentioned in commit 2a4e3f74
merged