tree 1e1340a60de5f61ec3b6a2ef7a2572b7a4e749a3
parent 468020a4ec6cfe80e84f38c7b688c2c3bfe190ac
parent 617671fd3cb86aa92fc5d2d37ac4d93c80751631
author Nicolas Lacasse <nlacasse@google.com> 1458754256 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1458754256 +0000

Merge "github-mirror should fetch+reset, not pull."