repo 1.13.1-cr1
Merge commits up to v1.13.1

12ee5446e9eb 2018-12-19 21:28:35 -0800 init: Remove -c short option for --current-branch
e158e3802da0 2018-12-20 07:21:02 +0000 Merge "README: link in new bug tracker"
3bbbcaf99d61 2018-12-20 02:11:35 -0500 README: link in new bug tracker
d4b13c280b5c 2018-12-18 21:21:12 -0800 Leverage the next keyword from python 2.7

BUG=chromium:900461
TEST=`repo sync` locally

Change-Id: I407dddce5d33f63ed98293f963fa38a69919f110
tree: f292925eddbb7dfb2b4adfc32b6acc5d08065d03
  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.