I'm unclear how --mirror interacts with fetch/pull and push.
I get an error using 'pull' to a bare repo because there's
not working copy to update. I assume 'fetch' is therefore
good enough and that 'push --mirror' will copy the fetched
changes.