gitbatch: manage multiple git repositories in one place