Ensure that git version is 1.8.* before setting push.default simple
Merge pull request #3176 from kraman/f19_fixes

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