enabled an automatic merge when the pipeline for 47d25483 succeeds
merged
mentioned in commit 7d98f5cd