enabled an automatic merge when the pipeline for a4e5c428 succeeds
merged
mentioned in commit 2e4e53ee