enabled an automatic merge when the pipeline for 8ec636dd succeeds
mentioned in commit 83cfd927
merged