|author||Tim Schumacher <firstname.lastname@example.org>||Wed Jun 28 18:29:23 2017 +0200|
|committer||Tim Schumacher <email@example.com>||Sat Jul 15 16:44:55 2017 +0000|
Always print percentage when syncing quietly Change-Id: I574396e63520781067ed1e991c41caf7640e5731
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.