enabled an automatic merge when the pipeline for b9e2fa38 succeeds
mentioned in commit a17b7056
merged