[PATCH v2 06/15] user-manual: Give 'git push -f' as an alternative to +master
From: W. Trevor King <hidden>
Date: 2016-06-15 22:56:06
Subsystem:
documentation, the rest · Maintainers:
Jonathan Corbet, Linus Torvalds
Possibly related (same subject, not in this thread)
- 2016-06-15 · Re: [PATCH v2 06/15] user-manual: Give 'git push -f' as an alternative to +master · Junio C Hamano <hidden>
- 2016-06-15 · Re: [PATCH v2 06/15] user-manual: Give 'git push -f' as an alternative to +master · Junio C Hamano <hidden>
- 2016-06-15 · Re: [PATCH v2 06/15] user-manual: Give 'git push -f' as an alternative to +master · W. Trevor King <hidden>
From: "W. Trevor King" <redacted> This mirrors existing language in the description of 'git fetch'. Signed-off-by: W. Trevor King <redacted> --- Documentation/user-manual.txt | 7 +++++++ 1 file changed, 7 insertions(+)
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 5d80b40..a68d6b9 100644
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt@@ -2045,6 +2045,13 @@ branch name with a plus sign: $ git push ssh://yourserver.com/~you/proj.git +master ------------------------------------------------- +Note the addition of the `+` sign. Alternatively, you can use the +`-f` flag to force the remote update, as in: + +------------------------------------------------- +$ git push -f ssh://yourserver.com/~you/proj.git master +------------------------------------------------- + Normally whenever a branch head in a public repository is modified, it is modified to point to a descendant of the commit that it pointed to before. By forcing a push in this situation, you break that convention.
--
1.8.1.336.g94702dd