1 file changed, 3 insertions, 1 deletion
diff --git a/MANUAL.txt b/MANUAL.txt
index b4d5eaf..5aa4ebf 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -825,7 +825,9 @@ auth filter::
 	  - http path
 	  - http host
 	  - http https flag
-	  - cgit repo
+	  - cgit repo, the url of the repository asked for, such as
+	    team/tools.git where section-from-path lists it as tools.git, or
+	    empty when there is none
 	  - cgit page
 	  - cgit url
 	  - cgit login url