Update the Git mirror script
mirror.sh: separate out the iteration and add some utility commands
Improve mirror.sh
You can also use your local clone with git send-email.