user-manual: use pithier example commit

diff --git a/Documentation/git-tools.txt b/Documentation/git-tools.txt
index 6b407f9adf86ee7d9a82e1c45b202ce67bb15e2b..10653ff898c2278f127f097ddf4a79db5615c802 100644 (file)
--- a/Documentation/git-tools.txt
+++ b/Documentation/git-tools.txt
@@ -86,6 +86,14 @@ Foreign SCM interface
    series in git back and forth.
 
 
+   - *hg-to-git* (contrib/)
+
+   hg-to-git converts a Mercurial repository into a git one, and
+   preserves the full branch history in the process. hg-to-git can
+   also be used in an incremental way to keep the git repository
+   in sync with the master Mercurial repository.
+
+
 Others
 ------