enabled an automatic merge when the pipeline for 9838a9cb succeeds
mentioned in commit 19c17e1b
merged