Gitiles
Code Review Sign In
gerrit.opencord.org / repo / 04071c1c72437a930db017bd4c562ad06087986a
commit04071c1c72437a930db017bd4c562ad06087986a[log] [tgz]
authorMike Frysinger <vapier@google.com>Wed Dec 28 16:07:16 2016 -0500
committerMike Frysinger <vapier@google.com>Wed Dec 28 16:07:16 2016 -0500
tree84d2d18bd35bb1ca64b8693616fec2811ac3a2ce
parent7de8c5db78da12aed8c93a06e7eb73bb37b63c9d [diff]
manifest-format: fix EMPTY keyword usage

The keyword EMPTY doesn't use parens.

BUG=git-repo:140

Change-Id: I7cd28a09c401520a72e5c244a77d9d70385f1b61
1 file changed
tree: 84d2d18bd35bb1ca64b8693616fec2811ac3a2ce
  1. .flake8
  2. .gitattributes
  3. .gitignore
  4. .mailmap
  5. .project
  6. .pydevproject
  7. COPYING
  8. README.md
  9. SUBMITTING_PATCHES.md
  10. color.py
  11. command.py
  12. docs/
  13. editor.py
  14. error.py
  15. git_command.py
  16. git_config.py
  17. git_refs.py
  18. git_ssh
  19. gitc_utils.py
  20. hooks/
  21. main.py
  22. manifest_xml.py
  23. pager.py
  24. progress.py
  25. project.py
  26. pyversion.py
  27. repo
  28. subcmds/
  29. tests/
  30. trace.py
  31. 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.