Big tool rename.

[thirdparty/git.git] / Documentation / git-ssh-fetch.txt

diff --git a/Documentation/git-ssh-pull.txt b/Documentation/git-ssh-fetch.txt
similarity index 71%
rename from Documentation/git-ssh-pull.txt
rename to Documentation/git-ssh-fetch.txt
index ac3fb342f0522537850c03ead15939a0fd429465..4ef03f6c615cae83e018777429ae3e983e7b6915 100644 (file)
--- a/Documentation/git-ssh-pull.txt
+++ b/Documentation/git-ssh-fetch.txt
@@ -1,22 +1,22 @@
-git-ssh-pull(1)
-===============
+git-ssh-fetch(1)
+================
 v0.1, May 2005
 
 NAME
 ----
-git-ssh-pull - Pulls from a remote repository over ssh connection
+git-ssh-fetch - Pulls from a remote repository over ssh connection
 
 
 
 SYNOPSIS
 --------
-'git-ssh-pull' [-c] [-t] [-a] [-d] [-v] [-w filename] [--recover] commit-id url
+'git-ssh-fetch' [-c] [-t] [-a] [-d] [-v] [-w filename] [--recover] commit-id url
 
 DESCRIPTION
 -----------
 Pulls from a remote repository over ssh connection, invoking
-git-ssh-push on the other end. It functions identically to
-git-ssh-push, aside from which end you run it on.
+git-ssh-upload on the other end. It functions identically to
+git-ssh-upload, aside from which end you run it on.
 
 
 OPTIONS