git: changed push.default to current