I just noticed that there are exactly four Git manpages with an "AUTHOR"
section and five with a "DOCUMENTATION" section:
$ make doc
$ grep -nIE -e '^\.SH "DOCUMENTATION|AUTHOR"' Documentation/*.[0-9]
These sections are inconsistent with the other manpages and seem
superfluous in a project that has, on the one hand, a public history
and, on the other hand, hundreds of contributors. Would the mentioned
authors (CCed) consent to the removal of these sections?
I don't want to step on any feet here. If you want to keep these
sections, I have no objection. But my guess is that people added them
in these few instances without realizing that these sections are not
commonly used in Git documentation.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html