enabled an automatic merge when the pipeline for 5966de73 succeeds
mentioned in commit b82c5216
merged