enabled an automatic merge when the pipeline for de1478ef succeeds
mentioned in commit 8e9ae460
merged