enabled an automatic merge when the pipeline for d9a47aa8 succeeds
mentioned in commit 639559ce
merged