enabled an automatic merge when the pipeline for a34dd6d0 succeeds
mentioned in commit 02735f66
merged