enabled an automatic merge when the pipeline for b83aaa05 succeeds
mentioned in commit b22e190a
merged