Batchfetch: Efficiently clone or pull multiple Git repositories in parallel
Interactively and hierarchically perform git merges across branches and run commands in between.
