enabled an automatic merge when the pipeline for 893241e6 succeeds
mentioned in commit 582df247
merged