enabled an automatic merge when the pipeline for 3a86ea9d succeeds
mentioned in commit cba3e935
merged