Bug#613892: Bug#948151: git: Please consider demoting git-man to Recommends

Did anyone submit a patch to git to work well when no man pages are installed? Also please note that all man packages have a *-doc suffix, not the *-man. It probably can't be renamed now but just to note this to avoid in future. The git package itself also contains a lot of docs in the /usr/share/

Bug#613892: Bug#948151: git: Please consider demoting git-man to Recommends

clone of #613892 ? https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=613892