Google Git
Sign in
vanadium / release.go.x.devtools / 8a8fd213657c651e82c242b7ef3a63a24f5ef1ab
commit8a8fd213657c651e82c242b7ef3a63a24f5ef1ab[log] [tgz]
authorYoungSeok Yoon <youngseokyoon@google.com>Thu Apr 14 18:34:30 2016 -0700
committerYoungSeok Yoon <youngseokyoon@google.com>Fri Apr 15 20:27:40 2016 +0000
tree3ab31997f7913d840fb878880e86d8d083eb3074
parent19f2f1a5bd82580bc659798ea9ec5c6a72f9876f [diff]
github mirroring: use --follow-tags option when necessary.

Use --follow-tags option when mirroring to GitHub. This option is
turned off by default.

Needed for pushing version tags to madb GitHub repo.

Change-Id: I19629d7087587031698fb849a953d0acec0a45bf
MultiPart: 2/2
1 file changed
tree: 3ab31997f7913d840fb878880e86d8d083eb3074
  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. jiridoc/
  19. mailer/
  20. oncall/
  21. postsubmit/
  22. presubmit/
  23. tooldata/
  24. tracify/
  25. vbinary/
  26. vcloud/
  27. vjenkins/
  28. vkiosk/
  29. vmon/
  30. .gitignore
  31. .godepcop
  32. .jiriignore
  33. AUTHORS
  34. CONTRIBUTING.md
  35. CONTRIBUTORS
  36. LICENSE
  37. PATENTS
  38. README.md
  39. 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.