enabled an automatic merge when the pipeline for 92413f8f succeeds
mentioned in commit d62d2390
merged