enabled an automatic merge when the pipeline for 794d12fc succeeds
mentioned in commit f19e2c06
merged