enabled an automatic merge when the pipeline for c720aeae succeeds
mentioned in commit 873e5a29
merged