enabled an automatic merge when the pipeline for 19dd5f33 succeeds
mentioned in commit 2813bfdf
merged