enabled an automatic merge when the pipeline for 85a3dc72 succeeds
mentioned in commit e63cd493
merged