repo 1.13.3-cr1
Merge commits up to v1.13.3

c5b0e2349047 2019-05-24 09:35:20 +0200 project: Set config option to skip lfs process filter
d92464e8efb8 2019-05-21 10:41:35 -0600 Honor --depth during repo init
f25a370a14ef 2018-11-14 19:01:22 -0800 Use %topic=topic instead of deprecated /topic syntax on push
b554838ce83d 2019-05-09 12:59:49 -0700 Print project name when work tree initialization fails
2d095da4f19e 2019-05-02 18:21:42 -0700 Ignore submodules when calculating 'git diff-files'
266f74c88844 2019-04-17 19:08:52 +0200 info: Use the non-formatting printer for headtext
1f1596b4735e 2019-04-15 11:17:08 +0200 Don't print "persistent ref" message when syncing quietly
0d9b16d1d8bd 2019-04-06 00:49:47 +0800 sync: deleted unused repos in reversed order (children before parent)
e57f1146de43 2019-03-18 21:27:54 -0400 sync: respect --force-sync when fetching updates
01019d94af1b 2019-03-18 13:30:58 +0900 docs: fixed typo error.
d3c0f5914f7c 2018-12-17 19:23:44 -0500 sync: Add option '--force-remove-dirty'
41a26837d02f 2019-03-11 13:53:38 +0100 project: Relax the submodule name pattern to accept dots
e7379dc5f75f 2019-01-30 14:35:39 -0500 docs: document a Python 3 migration plan

BUG=gerrit:10964
TEST=`repo sync`

Change-Id: I5d9a3d2ce9e2dde493e5c445ce32663207f6297f
tree: 20ee8288e49f7c9f3bf72c9d7e80b415f6cdf655
  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.