Comments out push.default = simple because it breaks git < 1.8.