Checking pipeline status.
enabled an automatic merge when the pipeline for 9ab2f3e9 succeeds
merged
mentioned in commit db01d577