enabled an automatic merge when the pipeline for 841fee8c succeeds
merged
mentioned in commit 41b1e932