enabled an automatic merge when the pipeline for 83bc74de succeeds
mentioned in commit 99e12091
merged