I couldn't find a way to report git-scm.org-specific bugs, but I guess whoever maintains it these days also reads the list. Here: https://git-scm.com/docs/git-push#OPTIONS If you click on the "GIT URLS" link it's broken. If you search for "urls.txt" in the document you can see that this is because whatever git-scm.org is using for its HTML generation apparently doesn't understand recursively includes, git-push includes urls-remote.txt, which in turn includes urls.txt, only the first level of includes is processed. The git.git "install-html" version of the documentation doesn't have this issue. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html