enabled an automatic merge when the pipeline for 31c17058 succeeds
mentioned in commit 06476f99
merged