enabled an automatic merge when the pipeline for 5ed29a09 succeeds
mentioned in commit 8bc03d68
merged