Merge branch 'jc/read-tree-ignore'

diff --git a/Documentation/git-repo-config.txt b/Documentation/git-repo-config.txt
index 8199615dde6630124c155bb4a296603dc8829c83..5bede9ac22d260d703c5632f44ffc404013650d0 100644 (file)
--- a/Documentation/git-repo-config.txt
+++ b/Documentation/git-repo-config.txt
@@ -77,6 +77,12 @@ OPTIONS
 -l, --list::
        List all variables set in config file.
 
+--bool::
+       git-repo-config will ensure that the output is "true" or "false"
+
+--int::
+       git-repo-config will ensure that the output is a simple decimal number
+
 
 ENVIRONMENT
 -----------