Clone this repo:
  1. cf7c083 Download latest patch when no patch is specified by Akshay Verma · 5 days ago master
  2. 4ea1f0c Merge changes I9c1ab65f,I7b2027ae by David Pursehouse · 5 days ago
  3. 7d52585 Add a way to override the revision of an <extend-project> by Luis Hector Chavez · 5 days ago
  4. 1f36570 Merge "implement optional 'sync-tags' in the manifest file" by David Pursehouse · 3 weeks ago
  5. ce7e026 Take care of a tilde on cookie file path by Daichi Ueura · 3 weeks ago


Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.