Checking pipeline status.
enabled an automatic merge when the pipeline for 38bb7a47 succeeds
merged
mentioned in commit 52456455