Retire rev-tree.

diff --git a/.gitignore b/.gitignore
index 9fde27fb4fcbad7ec0ab7563057dc0f001d383b9..0a876865c0b4f7a9908375134ace0dd43f4cd568 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -24,7 +24,6 @@ git-diff-helper
 git-diff-index
 git-diff-stages
 git-diff-tree
-git-export
 git-fetch
 git-fetch-pack
 git-format-patch
@@ -70,14 +69,16 @@ git-reset
 git-resolve
 git-rev-list
 git-rev-parse
-git-rev-tree
 git-revert
+git-send-email
 git-send-pack
 git-sh-setup
 git-shortlog
 git-show-branch
 git-show-index
 git-ssh-fetch
+git-ssh-pull
+git-ssh-push
 git-ssh-upload
 git-status
 git-stripspace