Removed git push default simple.

Oops, setting the push default simple isn't compatible with older
versions of git.