diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-10-28 00:24:13 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-28 00:24:13 +0200 |
commit | 196b784428613e635ea14a231fc2dd5f9249a15f (patch) | |
tree | e61b04d85a5f7d2d4c30035a8637cf1ed1e6ac8e | |
parent | Merge branch 'jc/tmp-objdir' into maint-2.38 (diff) | |
parent | SubmittingPatches: use usual capitalization in the log message body (diff) | |
download | git-196b784428613e635ea14a231fc2dd5f9249a15f.tar.xz git-196b784428613e635ea14a231fc2dd5f9249a15f.zip |
Merge branch 'jc/use-of-uc-in-log-messages' into maint-2.38
Clarify that "the sentence after <area>: prefix does not begin with
a capital letter" rule applies only to the commit title.
* jc/use-of-uc-in-log-messages:
SubmittingPatches: use usual capitalization in the log message body
-rw-r--r-- | Documentation/SubmittingPatches | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/SubmittingPatches b/Documentation/SubmittingPatches index 5bd795e5db..927f7329a5 100644 --- a/Documentation/SubmittingPatches +++ b/Documentation/SubmittingPatches @@ -153,7 +153,9 @@ files you are modifying to see the current conventions. [[summary-section]] The title sentence after the "area:" prefix omits the full stop at the -end, and its first word is not capitalized unless there is a reason to +end, and its first word is not capitalized (the omission +of capitalization applies only to the word after the "area:" +prefix of the title) unless there is a reason to capitalize it other than because it is the first word in the sentence. E.g. "doc: clarify...", not "doc: Clarify...", or "githooks.txt: improve...", not "githooks.txt: Improve...". But "refs: HEAD is also |