enabled an automatic merge when the pipeline for 9d62efd5 succeeds
merged
mentioned in commit fa0b37d7