From fec756268ac992c29f6ae3b2af198021911ea4b8 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 13 Feb 2020 14:24:59 -0800
Subject: Add git branch instructions to README

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

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>
-- 
cgit v1.2.3