change git push.default to simple