--- title: Fetch pipeline status in batch from redis merge_request: 10785 author: