commit: 8165c19c2659ff56ca4c4328b393aea925066218
[log]
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

scripts/gitsync/gitsync.sh[diff]

1 file changed

tree: ec86b4bfaacfd19dd06547b005aadfcf1357abb6

README.md

infra

This repo contains tools and config files necessary to run infrastructure related to builds, code review, version control, and continuous integrations.