git: push.default = current