enabled an automatic merge when the pipeline for 7287aefa succeeds
mentioned in commit 653ab806
merged