enabled an automatic merge when the pipeline for 73d05f31 succeeds
merged
mentioned in commit cd4f6d31