From: W. Trevor King Date: Mon, 18 Feb 2013 00:15:55 +0000 (-0500) Subject: user-manual: give 'git push -f' as an alternative to +master X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=d1471e061657c2e437076947e0e51a3c32adfa60;p=git.git user-manual: give 'git push -f' as an alternative to +master This mirrors existing language in the description of 'git fetch'. Signed-off-by: W. Trevor King Signed-off-by: Junio C Hamano --- diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 74dd82ab7..a546b10ee 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.