enabled an automatic merge when the pipeline for b8677a8e succeeds
mentioned in commit 0b17ed27
merged