Google Git
Sign in
gerrit / git-repo / a32c92c206ad02f473cfa9558d4eac8f0fc738a8
commita32c92c206ad02f473cfa9558d4eac8f0fc738a8[log] [tgz]
authorYOUNG HO CHA <ganadist@gmail.com>Wed Feb 14 16:57:31 2018 +0900
committerYOUNG HO CHA <ganadist@gmail.com>Wed Feb 14 16:57:41 2018 +0900
tree64e14a141835c22da1585425d62d84ca3cf573f3
parent685320b000c0683421a460d1c9a33ae9d73cc706 [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>
3 files changed
tree: 64e14a141835c22da1585425d62d84ca3cf573f3
  1. docs/
  2. hooks/
  3. subcmds/
  4. tests/
  5. .flake8
  6. .gitattributes
  7. .gitignore
  8. .mailmap
  9. .project
  10. .pydevproject
  11. color.py
  12. command.py
  13. COPYING
  14. editor.py
  15. error.py
  16. event_log.py
  17. git_command.py
  18. git_config.py
  19. git_refs.py
  20. git_ssh
  21. gitc_utils.py
  22. main.py
  23. manifest_xml.py
  24. pager.py
  25. platform_utils.py
  26. platform_utils_win32.py
  27. progress.py
  28. project.py
  29. pyversion.py
  30. README.md
  31. repo
  32. SUBMITTING_PATCHES.md
  33. trace.py
  34. wrapper.py
README.md

repo

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.