1 files changed, 4 insertions, 0 deletions
diff --git a/README.md b/README.md
index 92e7e26..fc9d918 100644
--- a/README.md
+++ b/README.md
@@ -61,6 +61,10 @@ handle the file. So for example:
 
 ## Development
 
+A user can push code to any branch prefixed by `user/$USER/`. This is
+set in the `gitolite-admin` repo which everyone with an account should
+have read access to. This is also where your git ssh key is set.
+
 To build code, do:
 
     nix build -f default.nix <thing>