commit | a32c92c206ad02f473cfa9558d4eac8f0fc738a8 | [log] [tgz] |
---|---|---|
author | YOUNG HO CHA <ganadist@gmail.com> | Wed Feb 14 16:57:31 2018 +0900 |
committer | YOUNG HO CHA <ganadist@gmail.com> | Wed Feb 14 16:57:41 2018 +0900 |
tree | 64e14a141835c22da1585425d62d84ca3cf573f3 | |
parent | 685320b000c0683421a460d1c9a33ae9d73cc706 [diff] |
implement optional 'sync-tags' in the manifest file Allow the 'default' and 'project' element in the manifest file to apply "--no-tags" option equivalent. Change-Id: I7e0f8c17a0e25cca744d45df049076d203c52ff5 Signed-off-by: YOUNG HO CHA <ganadist@gmail.com>
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.