summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2020-02-13 14:24:59 -0800
committerBen Sima <ben@bsima.me>2020-02-13 14:24:59 -0800
commitfec756268ac992c29f6ae3b2af198021911ea4b8 (patch)
tree683b63fd8cb118c4617b880c259a38adb162615b
parent7d38d7a8c15f9e8d61834b5fd05182addaf6c56e (diff)
Add git branch instructions to README
-rw-r--r--README.md4
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>