enabled an automatic merge when the pipeline for 245e8331 succeeds
merged
mentioned in commit d0064ffb