enabled an automatic merge when the pipeline for 94c34290 succeeds
merged
mentioned in commit dacd02e4