enabled an automatic merge when the pipeline for 40a2bc91 succeeds
mentioned in commit 9017b01d
merged