enabled an automatic merge when the pipeline for 425cb3f4 succeeds
mentioned in commit eb6fbf5b
merged