enabled an automatic merge when the pipeline for 071d66c7 succeeds
mentioned in commit bcd9800a
merged