.gitconfig: use default push.default