remote rename: more carefully determine whether a remote is configured

diff --git a/Documentation/git.txt b/Documentation/git.txt
index b8bec711f47918ad3dc7e05d318525819f3a51ab..ed717e4336060e06ccf698c515cf9be5f85bae2c 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -43,9 +43,10 @@ unreleased) version of Git, that is available from the 'master'
 branch of the `git.git` repository.
 Documentation for older releases are available here:
 
-* link:v2.10.1/git.html[documentation for release 2.10.1]
+* link:v2.10.2/git.html[documentation for release 2.10.2]
 
 * release notes for
+  link:RelNotes/2.10.2.txt[2.10.2],
   link:RelNotes/2.10.1.txt[2.10.1],
   link:RelNotes/2.10.0.txt[2.10].