enabled an automatic merge when the pipeline for 653dedd8 succeeds
mentioned in commit 43a13e9f
merged