Google Git
Sign in
vanadium / release.go.x.devtools / 617671fd3cb86aa92fc5d2d37ac4d93c80751631
commit617671fd3cb86aa92fc5d2d37ac4d93c80751631[log] [tgz]
authorNicolas Lacasse <nlacasse@google.com>Wed Mar 23 10:00:11 2016 -0700
committerNicolas Lacasse <nlacasse@google.com>Wed Mar 23 10:00:11 2016 -0700
treea7e2b643991df57fcbbd879bf229b089e1e55608
parent4d641bd4f3a661932f8ffdd13fb09949a6f3a6f1 [diff]
github-mirror should fetch+reset, not pull.

The github-mirror used to pull from googlesource before pushing to
github.  As a result, if the history on googlesource was re-written,
github-mirror would create a merge commit locally, and then push that
merge commit to github.

Instead of pulling, github-mirror should fetch origin, and then reset
--hard to origin/master.  That way the local repo will always exactly
match googlesource, even if the history changes.

Change-Id: Ic4d8b0926e8aec1446ecc3b2427b804e449cd824
1 file changed
tree: a7e2b643991df57fcbbd879bf229b089e1e55608
  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.