diff options
| author | Ben Sima <ben@bsima.me> | 2021-01-04 07:51:37 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-01-04 07:51:37 -0500 |
| commit | dd74bbc17c97115df973fe9b9a17f7ce7bb6a99f (patch) | |
| tree | 4778f5360d180181dbd556dbcef7fe8ac4c3ed03 /Miso/FFI/Document.hs | |
| parent | 0f0a1f55c1c7b05926f559661c4154124ea532f7 (diff) | |
Support multiple keys per user
Every key is just a new line in the $USER.pub file. This is not automatically
reflected to gitolite, which uses a separate config, so I'll need to come up
with a way to replace gitolite someday.
Diffstat (limited to 'Miso/FFI/Document.hs')
0 files changed, 0 insertions, 0 deletions