v.io/jiri: add --has-branch to jiri runp.

This allows an easy way to run cl cleanup for example
without having to iterate over all projects and seeing
lots of spurious errors

MultiPart: 2/2
Change-Id: Ib556b4607e6e928803c9af13364c51cef8916935
1 file changed
tree: a915564cdc93d84d2f6e5b35f2c25de4318f2347
  1. bendroid/
  2. dashboard/
  3. data/
  4. godepcop/
  5. gologcop/
  6. internal/
  7. jiri-api/
  8. jiri-contributors/
  9. jiri-copyright/
  10. jiri-dockergo/
  11. jiri-go/
  12. jiri-goext/
  13. jiri-oncall/
  14. jiri-profile-v23/
  15. jiri-run/
  16. jiri-swift/
  17. jiri-test/
  18. jiri-v23-profile/
  19. jiridoc/
  20. madb/
  21. mailer/
  22. oncall/
  23. postsubmit/
  24. presubmit/
  25. tooldata/
  26. tracify/
  27. vbinary/
  28. vcloud/
  29. vjenkins/
  30. vkiosk/
  31. vmon/
  32. .gitignore
  33. .godepcop
  34. .jiriignore
  35. AUTHORS
  36. CONTRIBUTING.md
  37. CONTRIBUTORS
  38. LICENSE
  39. PATENTS
  40. README.md
  41. VERSION
README.md

This repository contains developer tools used to install and contribute to Vanadium.

For more information, see the installation and contributing instructions.

This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.