Gitiles
Code Review Sign In
gerrit.opencord.org / repo / 8419ab22d69ed0d89809f322aef16105ad6bb127
commit8419ab22d69ed0d89809f322aef16105ad6bb127[log] [tgz]
authorNicolas Cornu <nicolac76@yahoo.fr>Fri Jun 16 12:09:06 2017 +0200
committerNicolas Cornu <nicolac76@yahoo.fr>Fri Jun 16 12:23:26 2017 +0200
tree531c8ee1efdc3455317aa09856312a8724b6ba2e
parent35d22217a5ed2f8b5b9b183217923071ccfe7f37 [diff]
sync: Continue job if some fetchs failed but force-broken is set

With --force-broken it continue to fetch other projects but nothing
is added in directory because it abort some lines later.

Change-Id: I32c4a4619b3028893dc4f98e8d4e5bc5c09adb27
1 file changed
tree: 531c8ee1efdc3455317aa09856312a8724b6ba2e
  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. event_log.py
  16. git_command.py
  17. git_config.py
  18. git_refs.py
  19. git_ssh
  20. gitc_utils.py
  21. hooks/
  22. main.py
  23. manifest_xml.py
  24. pager.py
  25. progress.py
  26. project.py
  27. pyversion.py
  28. repo
  29. subcmds/
  30. tests/
  31. trace.py
  32. 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.