enabled an automatic merge when the pipeline for 92c1a93d succeeds
merged
mentioned in commit ec7a184f