Hi, Ramkumar Ramachandra writes: > Update the documentation of 'git shell' to mention the interactive > mode and COMMAND_DIR. Also provide a hint when interactive mode is not > available in the shell. > > Signed-off-by: Ramkumar Ramachandra <artagnon@xxxxxxxxx> > Cc: Greg Brockman <gdb@xxxxxxx> > Cc: Petr Baudis <pasky@xxxxxxx> > --- > Documentation/git-receive-pack.txt | 2 +- I'm sorry this stray change crept in. It's not relevant to this patch. > diff --git a/Documentation/git-receive-pack.txt b/Documentation/git-receive-pack.txt > index 2790eeb..2b07e44 100644 > --- a/Documentation/git-receive-pack.txt > +++ b/Documentation/git-receive-pack.txt > @@ -8,7 +8,7 @@ git-receive-pack - Receive what is pushed into the repository > > SYNOPSIS > -------- > -'git-receive-pack' <directory> > +'git receive-pack' <directory> Quick fixup: -- 8< -- diff --git a/Documentation/git-receive-pack.txt b/Documentation/git-receive-pack.txt index 2b07e44..2790eeb 100644 --- a/Documentation/git-receive-pack.txt +++ b/Documentation/git-receive-pack.txt @@ -8,7 +8,7 @@ git-receive-pack - Receive what is pushed into the repository SYNOPSIS -------- -'git receive-pack' <directory> +'git-receive-pack' <directory> DESCRIPTION ----------- -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html