enabled an automatic merge when the pipeline for 10a34c18 succeeds
mentioned in commit 4223883e
merged