enabled an automatic merge when the pipeline for 373268dd succeeds
merged
mentioned in commit 8d0a1a5a