enabled an automatic merge when the pipeline for 709a1cae succeeds
merged
mentioned in commit 112e1ed4