Google Git
Sign in
vanadium / release.go.jiri / ab5a35434e5b97b47f2921bf948a66f33c370150
commitab5a35434e5b97b47f2921bf948a66f33c370150[log] [tgz]
authorNicolas Lacasse <nlacasse@google.com>Thu Dec 10 13:48:36 2015 -0800
committerNicolas Lacasse <nlacasse@google.com>Thu Dec 10 13:48:36 2015 -0800
tree4379b1b79b65650917d1735230621d8f618967af
parent04d7749521223c1b8af775a3687645b7e4da20cb [diff]
Allow deletion of the jiri project.

This is preventing us from moving off of git-mirror, because that will
require a deletion+creation of the jiri project.

Note that the intention of this check is already broken, because we do
allow the deletion of devtools and x/lib, so it's been possible to break
the jiri tool if you update with a bad manifest.

Change-Id: Ib862d27cf6921b12ab3fb799dba93f479b6ad986
1 file changed
tree: 4379b1b79b65650917d1735230621d8f618967af
  1. collect/
  2. gerrit/
  3. gitutil/
  4. googlesource/
  5. jenkins/
  6. jiri/
  7. jiritest/
  8. profiles/
  9. project/
  10. retry/
  11. runutil/
  12. scripts/
  13. tool/
  14. util/
  15. .api
  16. .gitignore
  17. .godepcop
  18. AUTHORS
  19. cl.go
  20. cl_test.go
  21. cmd.go
  22. contrib.go
  23. CONTRIBUTING.md
  24. CONTRIBUTORS
  25. doc.go
  26. LICENSE
  27. PATENTS
  28. project.go
  29. README.md
  30. rebuild.go
  31. snapshot.go
  32. snapshot_test.go
  33. update.go
  34. VERSION
README.md

Jiri

“Jiri integrates repositories intelligently”

This repository implements the Jiri repository management tool.

For documentation, see http://godoc.org/v.io/jiri