enabled an automatic merge when the pipeline for 95681a71 succeeds
mentioned in commit 90265890
merged