enabled an automatic merge when the pipeline for 78a51f4d succeeds
mentioned in commit 3c08e20d
merged