.gitconfig: change push.default to simple