Checking pipeline status.
Merge details
enabled an automatic merge when the pipeline for 2f0587ec succeeds
merged
mentioned in commit 5f6d9ae3