repo - The Multiple Git Repository Tool - (mirror of https://gerrit.googlesource.com/git-repo)
A console script that allows you to easily update multiple git repositories at once
Android repo tool enhanced with a new "repo push" command, and repository actions always ordered the same as in the manifest.
Quickly rewrite git repository history (filter-branch replacement)
Python static typing home. Hosts the documentation and a user help forum.