remote: deprecate --mirror

diff --git a/Documentation/git-remote.txt b/Documentation/git-remote.txt
index 79e38fedd7efffb1a07f6d82ce4325a81136ed6f..ddcbcc00aeaf43f830a7f33c3302ec3843e9e197 100644 (file)
--- a/Documentation/git-remote.txt
+++ b/Documentation/git-remote.txt
@@ -75,10 +75,6 @@ because a fetch would overwrite any local commits.
 +
 When a push mirror is created with `\--mirror=push`, then `git push`
 will always behave as if `\--mirror` was passed.
-+
-The option `\--mirror` (with no type) sets up both push and fetch
-mirror configuration. It is kept for historical purposes, and is
-probably not what you want.
 
 'rename'::