summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2017-09-25 06:24:10 (GMT)
committerJunio C Hamano <gitster@pobox.com>2017-09-25 06:24:10 (GMT)
commit3430fff768b526a8e5877cfe56760d4865350b5e (patch)
tree762013bf1a7b9c5352d8af87e7a5a74debf82117 /Documentation
parent9709ffac8004c3dc62dc946af469ec6d69bfeffb (diff)
parent417abfde3534ad51a1a47e00ed799e40e3f7b4ae (diff)
downloadgit-3430fff768b526a8e5877cfe56760d4865350b5e.zip
git-3430fff768b526a8e5877cfe56760d4865350b5e.tar.gz
git-3430fff768b526a8e5877cfe56760d4865350b5e.tar.bz2
Merge branch 'ow/rev-parse-is-shallow-repo'
"git rev-parse" learned "--is-shallow-repository", that is to be used in a way similar to existing "--is-bare-repository" and friends. * ow/rev-parse-is-shallow-repo: rev-parse: rev-parse: add --is-shallow-repository
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/git-rev-parse.txt3
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/git-rev-parse.txt b/Documentation/git-rev-parse.txt
index b1293f2..0917b82 100644
--- a/Documentation/git-rev-parse.txt
+++ b/Documentation/git-rev-parse.txt
@@ -235,6 +235,9 @@ print a message to stderr and exit with nonzero status.
--is-bare-repository::
When the repository is bare print "true", otherwise "false".
+--is-shallow-repository::
+ When the repository is shallow print "true", otherwise "false".
+
--resolve-git-dir <path>::
Check if <path> is a valid repository or a gitfile that
points at a valid repository, and print the location of the