Remove git push default.

This doesn't seem to matter for newer
versions of git, and is causing problems
in the Lime server.