Adjust git-config command so that it works with git 1.7

The git-config option "--local" does not work on
git 1.7.
Add support to mirror deleted refs

Now when a ref is deleted, it is also deleted from
the mirrors.