enabled an automatic merge when the pipeline for 93a872d8 succeeds
mentioned in commit fb8faa9d
merged