Explicitly set git push.default simple