diff options
| author | Junio C Hamano <gitster@pobox.com> | 2022-10-17 14:56:35 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-10-17 14:56:35 -0700 |
| commit | 138c400903b147776ef7705c3b7591c4c62ce914 (patch) | |
| tree | 9374666ef92002f2cb84b0724b7f6305cdfea232 | |
| parent | Merge branch 'dd/document-runtime-prefix-better' (diff) | |
| parent | SubmittingPatches: use usual capitalization in the log message body (diff) | |
| download | git-138c400903b147776ef7705c3b7591c4c62ce914.tar.gz git-138c400903b147776ef7705c3b7591c4c62ce914.zip | |
Merge branch 'jc/use-of-uc-in-log-messages'
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 |