From c9bf7be238ac3c767f9ac6546d5bb7b11765253c Mon Sep 17 00:00:00 2001 From: Jakub Narebski Date: Sat, 16 Jun 2007 21:03:44 +0200 Subject: [PATCH] Document git rev-parse --is-inside-git-dir Signed-off-by: Jakub Narebski Signed-off-by: Junio C Hamano --- Documentation/git-rev-parse.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Documentation/git-rev-parse.txt b/Documentation/git-rev-parse.txt index e1cb4ef85..87771b832 100644 --- a/Documentation/git-rev-parse.txt +++ b/Documentation/git-rev-parse.txt @@ -89,6 +89,10 @@ OPTIONS --git-dir:: Show `$GIT_DIR` if defined else show the path to the .git directory. +--is-inside-git-dir:: + Return "true" if we are in the git directory, otherwise "false". + Some commands require to be run in a working directory. + --short, --short=number:: Instead of outputting the full SHA1 values of object names try to abbreviate them to a shorter unique name. When no length is specified -- 2.30.2