enabled an automatic merge when the pipeline for 3c679713 succeeds
mentioned in commit 9efa0457
merged