enabled an automatic merge when the pipeline for 3c0e7882 succeeds
mentioned in commit da94c94f
merged