Google Git
Sign in
gerrit / git-repo / 1f1596b4735e8d27445a5044fd39b2c17555ef80
commit1f1596b4735e8d27445a5044fd39b2c17555ef80[log] [tgz]
authorTim Schumacher <timschumi@gmx.de>Mon Apr 15 11:17:08 2019 +0200
committerTim Schumacher <timschumi@gmx.de>Mon Apr 15 14:37:17 2019 +0200
tree9f761338d8ec5a20b260ff1b09484eb57897b4f7
parent0d9b16d1d8bd696efc1b8c6b7a17c40345346f20 [diff]
Don't print "persistent ref" message when syncing quietly

The newly introduced "Already have persistent ref" message prevents
repo from overwriting the last line when syncing quietly. Omit the
message when syncing quietly to clean up the output and to restore
the previous behaviour.

Change-Id: Idf42751c67f95924d6de50092ba54d4c6fe93096
1 file changed
tree: 9f761338d8ec5a20b260ff1b09484eb57897b4f7
  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.