diff options
authorLars Wirzenius <>2013-10-12 10:57:13 +0100
committerLars Wirzenius <>2013-10-12 10:57:13 +0100
commitbe6412df515c1e239df8f6e27196e97ab45c6078 (patch)
parent3fa119d9b2e9fff6728470011be8599b5f96e3b6 (diff)
Test access to private repos
1 files changed, 20 insertions, 0 deletions
diff --git a/ b/
index cfa1c74..f9e4ce0 100644
--- a/
+++ b/
@@ -139,6 +139,26 @@ able to push to a branch prefixed by their username.
FINALLY remove repository tstrepo on server
AND remove user tstusr on server
+Private repositories
+A private repository is located under `private/`. It can only be
+accessed by the admin, and is not served via the git protocol or by
+ SCENARIO private repositories
+ ASSUMING no tstusr user exists on server
+ GIVEN an ssh key for tstusr
+ WHEN admin creates user tstusr
+ AND admin creates repository private/tstrepo
+ THEN admin can clone private/tstrepo using ssh
+ AND admin can't clone private/tstrepo using git
+ AND cgit doesn't show repository private/tstrepo
+ FINALLY remove repository private/tstrepo on server
+ AND remove user tstusr on server
Implementation sections