enabled an automatic merge when the pipeline for 471ab3a5 succeeds
mentioned in commit bfd8071c
merged