enabled an automatic merge when the pipeline for 37dc3398 succeeds
mentioned in commit f44eed44
merged