Checking pipeline status.
enabled an automatic merge when the pipeline for f5f7b7e5 succeeds
merged
mentioned in commit 61723d07