Use mirror rather than bare.
Hack build-docs into working with git.

A bit of a mess, my limited shell scripting ability is falling apart.