push: mention --verbose option in documentation

[git.git] / Documentation / git-tools.txt

diff --git a/Documentation/git-tools.txt b/Documentation/git-tools.txt
index 6b407f9adf86ee7d9a82e1c45b202ce67bb15e2b..a96403cb8cb720dbf094b06a0dc0b430147298fc 100644 (file)
--- a/Documentation/git-tools.txt
+++ b/Documentation/git-tools.txt
@@ -22,6 +22,9 @@ Alternative/Augmentative Porcelains
    providing generally smoother user experience than the "raw" Core GIT
    itself and indeed many other version control systems.
 
    providing generally smoother user experience than the "raw" Core GIT
    itself and indeed many other version control systems.
 

+   Cogito is no longer maintained as most of its functionality
+   is now in core GIT.
+

 
    - *pg* (http://www.spearce.org/category/projects/scm/pg/)
 
 
    - *pg* (http://www.spearce.org/category/projects/scm/pg/)
 


@@ -33,7 +36,7 @@ Alternative/Augmentative Porcelains
    - *StGit* (http://www.procode.org/stgit/)
 
    Stacked GIT provides a quilt-like patch management functionality in the
    - *StGit* (http://www.procode.org/stgit/)
 
    Stacked GIT provides a quilt-like patch management functionality in the

-    GIT environment. You can easily manage your patches in the scope of GIT
+   GIT environment. You can easily manage your patches in the scope of GIT

    until they get merged upstream.
 
 
    until they get merged upstream.
 
 


@@ -86,6 +89,14 @@ Foreign SCM interface
    series in git back and forth.
 
 
    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
 ------
 
 Others
 ------