use push.default in git-init-global