Checking pipeline status.
Merge details
enabled an automatic merge when the pipeline for 8211e522 succeeds
merged
mentioned in commit 5d030a1b