commit | 87984c6db4962043c2b9e5a5a4a30eaf6d066077 | [log] [tgz] |
---|---|---|
author | Changcheng Xiao <xchangcheng@google.com> | Wed Aug 02 16:55:03 2017 +0200 |
committer | Changcheng Xiao <xchangcheng@google.com> | Mon Aug 07 15:02:39 2017 +0200 |
tree | ab8bb74e27b845419ef57048044d758ff3eb1d3f | |
parent | ffc1401327b8240badd6fc62c6f85beca0350b44 [diff] |
Add options for git-repo to support private and wip changes This change adds options for git-repo tool to support private changes and work-in-progress changes. Change-Id: I343491f5949f06f1580d53f9cc0dee2dca09130f
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.