diff options
| author | Ben Sima <ben@bsima.me> | 2020-02-13 14:24:59 -0800 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-02-13 14:24:59 -0800 |
| commit | fec756268ac992c29f6ae3b2af198021911ea4b8 (patch) | |
| tree | 683b63fd8cb118c4617b880c259a38adb162615b /README.md | |
| parent | 7d38d7a8c15f9e8d61834b5fd05182addaf6c56e (diff) | |
Add git branch instructions to README
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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> |