Fetch: default remote repository from branch properties

diff --git a/Documentation/config.txt b/Documentation/config.txt
index bb2fbc324e6fa93a639b31668a7a030ece7787f0..04c5094fdd4c5e66b186107c0f64d3a82e1e8aa5 100644 (file)
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@ -119,6 +119,9 @@ apply.whitespace::
        Tells `git-apply` how to handle whitespaces, in the same way
        as the '--whitespace' option. See gitlink:git-apply[1].
 
+branch.<name>.remote::
+       When in branch <name>, it tells `git fetch` which remote to fetch.
+
 pager.color::
        A boolean to enable/disable colored output when the pager is in
        use (default is true).