Google Git
Sign in
gerrit / git-repo / refs/tags/v1.13.0
tagca99ff6d5b974d52e5a3d5e96f3007f42f4115cf
taggerMike Frysinger <vapier@google.com>Wed Dec 12 03:23:55 2018 -0500
object6e53844f1edd3c9a3898f0af74fcc8da04b7de48 
repo 1.13.0
commit6e53844f1edd3c9a3898f0af74fcc8da04b7de48[log] [tgz]
authorXin Li <delphij@google.com>Mon Dec 10 11:33:16 2018 -0800
committerXin Li <delphij@google.com>Mon Dec 10 11:33:16 2018 -0800
tree06e0405db8ec3dea929f7309186b500b49bd0985
parentd26146de7f1b76e9f212492dd80677f16bd00cc0 [diff]
Allow clobbering of existing tags from remote.

Bug: 120778183
Change-Id: Id44e2b68abc410a3afd4e07a3c943b0936347e38
2 files changed
tree: 06e0405db8ec3dea929f7309186b500b49bd0985
  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.