git-format-patch.txt: document --no-notes option

diff --git a/Documentation/git-tools.txt b/Documentation/git-tools.txt
index 2f4ff501568d3a3e0a65212cf177e6903343a6d9..d0fec4cddd2a500758e1500af869d5c84cd7ebe8 100644 (file)
--- a/Documentation/git-tools.txt
+++ b/Documentation/git-tools.txt
@@ -7,4 +7,4 @@ maintained here. These days, however, search engines fill that role much
 more efficiently, so this manually-maintained list has been retired.
 
 See also the `contrib/` area, and the Git wiki:
-http://git.or.cz/gitwiki/InterfacesFrontendsAndTools
+https://git.wiki.kernel.org/index.php/InterfacesFrontendsAndTools