enabled an automatic merge when the pipeline for e42bad71 succeeds
mentioned in commit ee44a44e
merged