Google Git
Sign in
gerrit / git-repo / 05dc46b0e3c008f9f83a576e59c74fd17735dfa9
commit05dc46b0e3c008f9f83a576e59c74fd17735dfa9[log] [tgz]
authorTimo Lotterbach <timo.lotterbach@bmw-carit.de>Fri Jul 15 16:48:42 2016 +0200
committerTimo Lotterbach <timo.lotterbach@bmw-carit.de>Tue Aug 30 07:34:33 2016 +0000
tree716f91a338c593ecc072cac8127bdb741c213ce3
parent39252ba028012fd14e4e283217d842fb80206c52 [diff]
Repo: improve error detection for new ssh connections

this check can only detect errors that happen within 1 sec after launching
ssh. But this is typically enough to catch configuration issues like
'connection refused' or 'authentication failed'.

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