enabled an automatic merge when the pipeline for 53fcd3e6 succeeds
mentioned in commit 72e4bd44
merged