enabled an automatic merge when the pipeline for 87d1ad1e succeeds
mentioned in commit 57fcb42b
merged