enabled an automatic merge when the pipeline for 9ff9399b succeeds
mentioned in commit 8b89247e
merged