enabled an automatic merge when the pipeline for 42c5d6d3 succeeds
merged
mentioned in commit f5d5eb03