summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--git.liw.fi.yarn20
1 files changed, 20 insertions, 0 deletions
diff --git a/git.liw.fi.yarn b/git.liw.fi.yarn
index cfa1c74..f9e4ce0 100644
--- a/git.liw.fi.yarn
+++ b/git.liw.fi.yarn
@@ -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
+cgit.
+
+ 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
=======================