Put back push.default = simple - gonna make sure I've a local install of
git > v1.7.11.