enabled an automatic merge when the pipeline for 22ff9df7 succeeds
mentioned in commit 3037533c
merged