enabled an automatic merge when the pipeline for 9d06098a succeeds
mentioned in commit 9acb984c
merged