Documentation: mention `push.default` in git-push.txt