git-merge
Batchfetch: Efficiently clone or pull multiple Git repositories in parallel
Python script for automated, iterative git merges and publishing