| commit | 8165c19c2659ff56ca4c4328b393aea925066218 | [log] [tgz] |
|---|---|---|
| author | James Robinson <jamesr@google.com> | Wed Aug 09 18:16:09 2017 -0700 |
| committer | James Robinson <jamesr@google.com> | Thu Aug 10 21:45:03 2017 +0000 |
| tree | ec86b4bfaacfd19dd06547b005aadfcf1357abb6 | |
| parent | a27b7d9c7f4e5cd91f2d11aead254248db8bc149 [diff] |
[gitsync] Mirror only heads and tags to github, not changes Doing a default mirror clone and push will try to sync all of the refs/* space from gerrit to github, including refs/changes/* which may contain things that aren't very useful (or possible) to mirror. This changes the sync script to explicitly pull down only heads and tags and mirror those. Fixes IN-77 Change-Id: Ifa5ca2d2fc69b7c29fb5fa941a98c62de505d19d