diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-23 14:38:21 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-23 14:38:22 +0900 |
commit | 6b0f1d9c475038a54343c007193f1c81ae82b959 (patch) | |
tree | 84098db8adc4edb0802e8e7bc95539c6a2d78b2b /Documentation/git-push.txt | |
parent | Merge branch 'bc/format-patch-cover-no-attach' (diff) | |
parent | doc: keep first level section header in upper case (diff) | |
download | tgif-6b0f1d9c475038a54343c007193f1c81ae82b959.tar.xz |
Merge branch 'nd/doc-header'
Doc formatting fix.
* nd/doc-header:
doc: keep first level section header in upper case
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 34410f9fca..02f6501399 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`:: |