Documentation/git-clone: describe --mirror more verbosely

diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 658ff2ff67f23e9a9d2942e38528dba415139ac3..020955ff5a8635e385208a6a89b1ad71125fb205 100644 (file)
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -200,7 +200,7 @@ summary::
        For a successfully pushed ref, the summary shows the old and new
        values of the ref in a form suitable for using as an argument to
        `git log` (this is `<old>..<new>` in most cases, and
-       `<old>...<new>` for forced non-fast-forward updates).
+       `<old>\...<new>` for forced non-fast-forward updates).
 +
 For a failed update, more details are given:
 +