set git's push.default to simple