enabled an automatic merge when the pipeline for 5e736c0c succeeds
mentioned in commit 3de0db43
merged