diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-04-30 17:35:33 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-02 17:03:33 +0900 |
commit | 76a8788c141e9d4e2713acaa7886475fb6b27ca5 (patch) | |
tree | 39737a2b50579f34e6cbf2b58d905206928bdcf8 /Documentation/git-push.txt | |
parent | The fourth batch for 2.18 (diff) | |
download | tgif-76a8788c141e9d4e2713acaa7886475fb6b27ca5.tar.xz |
doc: keep first level section header in upper case
When formatted as a man page, 1st section header is always in upper
case even if we write it otherwise. Make all 1st section headers
uppercase to keep it close to the final output.
This does affect html since case is kept there, but I still think it's
a good idea to maintain a consistent style for 1st section headers.
Some sections perhaps should become second sections instead, where
case is kept, and for better organization. I will update if anyone has
suggestions about this.
While at there I also make some header more consistent (e.g. examples
vs example) and fix a couple minor things here and there.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-push.txt')
-rw-r--r-- | Documentation/git-push.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 5b08302fc2..241c4ddbbe 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -423,7 +423,7 @@ reason:: refs, no explanation is needed. For a failed ref, the reason for failure is described. -Note about fast-forwards +NOTE ABOUT FAST-FORWARDS ------------------------ When an update changes a branch (or more in general, a ref) that used to @@ -510,7 +510,7 @@ overwrite it. In other words, "git push --force" is a method reserved for a case where you do mean to lose history. -Examples +EXAMPLES -------- `git push`:: |