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)
Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.