gitconfig: change push.default option to "current".