enabled an automatic merge when the pipeline for 42cad1d4 succeeds
mentioned in commit f311ccd6
merged