tree 3720978c669198ff625369e14932242fc389017c
parent 400c2c746dcc4b9e4d9518a9753f48d5db4b5edc
author philwo <philwo@google.com> 1561383091 -0700
committer Copybara-Service <copybara-worker@google.com> 1561383154 -0700

Make Git repository rules compatible with older Git versions.

CentOS 7 includes git 1.8.3.1, which needs an explicit destination ref
in the refspec passed to fetch, otherwise it doesn't create a local ref,
so the `git reset origin/<branch>` later would fail.

PiperOrigin-RevId: 254746054