Fix git 'mirror-remote' alias

After mirroring to a remote repository, make git automatically update
the remote's HEAD.