git-mirror.sh: Make this work better with modern Git

Now it has the --mirror option, which does most of this complexity for
us.