gitconfig: change push.default to current to allow for older servers