Google Git
Sign in
gerrit / git-repo / 0d9b16d1d8bd696efc1b8c6b7a17c40345346f20
commit0d9b16d1d8bd696efc1b8c6b7a17c40345346f20[log] [tgz]
authorKuang-che Wu <kcwu@chromium.org>Sat Apr 06 00:49:47 2019 +0800
committerKuang-che Wu <kcwu@chromium.org>Sat Apr 06 00:49:47 2019 +0800
tree6840cad2a7d1e8b9e8d90dcb00b9472214c5a83d
parente57f1146de4324dc0f9c6c95fb9897b0e78dfd36 [diff]
sync: deleted unused repos in reversed order (children before parent)

Bug: chromium:950002
Test: repo sync chromeos using release manifest file
Change-Id: I613df6a1973eb36acd806a703e72f5172554bcc7
1 file changed
tree: 6840cad2a7d1e8b9e8d90dcb00b9472214c5a83d
  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.