enabled an automatic merge when the pipeline for 212feca6 succeeds
mentioned in commit a96ff88f
merged