enabled an automatic merge when the pipeline for 4d5f51ee succeeds
mentioned in commit 9cf1e721
merged