tree a7e2b643991df57fcbbd879bf229b089e1e55608
parent 4d641bd4f3a661932f8ffdd13fb09949a6f3a6f1
author Nicolas Lacasse <nlacasse@google.com> 1458752411 -0700
committer Nicolas Lacasse <nlacasse@google.com> 1458752411 -0700

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