Merge branch 'jc/lstat'

diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 05859491378243639e81c9c8ab7deffb90d83d07..f06d94e318d6d0bf918430bafc746e96a2abe7a1 100644 (file)
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -70,7 +70,9 @@ the remote repository.
        be mirrored to the remote repository.  Newly created local
        refs will be pushed to the remote end, locally updated refs
        will be force updated on the remote end, and deleted refs
-       will be removed from the remote end.
+       will be removed from the remote end.  This is the default
+       if the configuration option `remote.<remote>.mirror` is
+       set.
 
 \--dry-run::
        Do everything except actually send the updates.