change git push.default to simple to squelch warning