[PATCH] Update tags to record who made them

[git.git] / ssh-pull.c

diff --git a/ssh-pull.c b/ssh-pull.c
index 2748412..26356dd 100644 (file)
--- a/ssh-pull.c
+++ b/ssh-pull.c
@@ -29,7 +29,7 @@ int fetch(unsigned char *sha1)
        return ret;
 }
 
-int get_version(void)
+static int get_version(void)
 {
        char type = 'v';
        write(fd_out, &type, 1);
@@ -65,10 +65,6 @@ int main(int argc, char **argv)
                        get_tree = 1;
                } else if (argv[arg][1] == 'c') {
                        get_history = 1;
-               } else if (argv[arg][1] == 'd') {
-                       get_delta = 0;
-               } else if (!strcmp(argv[arg], "--recover")) {
-                       get_delta = 2;
                } else if (argv[arg][1] == 'a') {
                        get_all = 1;
                        get_tree = 1;