Ensure that git version is 1.8.* before setting push.default simple [merge]