push: change `simple` to accommodate triangular workflows

diff --git a/Documentation/urls.txt b/Documentation/urls.txt
index 476e3381c5d40725910bee7fd9d35e7b007ac253..5e185f87c20a2124a7fb9bf2046f6035942b4f92 100644 (file)
--- a/Documentation/urls.txt
+++ b/Documentation/urls.txt
@@ -39,7 +39,7 @@ For local repositories, also supported by Git natively, the following
 syntaxes may be used:
 
 - /path/to/repo.git/
-- file:///path/to/repo.git/
+- \file:///path/to/repo.git/
 
 ifndef::git-clone[]
 These two syntaxes are mostly equivalent, except when cloning, when