diff options
-rw-r--r-- | git.liw.fi.yarn | 20 |
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 ======================= |