enabled an automatic merge when the pipeline for 9fb73ea9 succeeds
merged
mentioned in commit a65c44c1