enabled an automatic merge when the pipeline for 4e6e943f succeeds
mentioned in commit dda8562e
merged