Google Git
Sign in
gerrit / git-repo / 3069be2684b0301886c8212d589fe670569a896e
commit3069be2684b0301886c8212d589fe670569a896e[log] [tgz]
authorXin Li <delphij@google.com>Thu Aug 22 10:00:27 2019 -0700
committerXin Li <delphij@google.com>Thu Aug 22 18:33:41 2019 +0000
tree5248f850b165527494ee8bab7c2691924524d0e5
parentd5c306b404c321c19191c197c75130d1dc14897a [diff]
Explicitly allow clobbering tags when fetching from remote.

Bug: b/139860049
Change-Id: I3c4134eda7e9e75c9d72b233e269bcc0e624d1e8
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/234632
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Xin Li <delphij@google.com>
1 file changed
tree: 5248f850b165527494ee8bab7c2691924524d0e5
  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. run_tests
  33. SUBMITTING_PATCHES.md
  34. trace.py
  35. 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.