Checking pipeline status.
enabled an automatic merge when the pipeline for c9004645 succeeds
merged
mentioned in commit 7e2e092b