concurrent, pipelined, platform-agnostic Git utilities for managing a large number of Git repositories