Checking pipeline status.
enabled an automatic merge when the pipeline for 5737c0a6 succeeds
merged
mentioned in commit 5a84812a