Fix treatment of symbolic refs in PushOp

We need to use the symbolic ref name when mirroring, as we flatten
it out to a normal ref on the remote site.  This prevents cases
where we needed to push both "HEAD" and "refs/heads/master" as the
former was a symbolic-ref to the latter.

Signed-off-by: Shawn O. Pearce <sop@google.com>
1 file changed