set git push.default to simple