diff options
| author | Ben Sima <ben@bsima.me> | 2023-10-25 11:13:35 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-10-27 10:06:55 -0400 |
| commit | 9e4e9e6416c5896132cbe118cf2c7ac622d01b41 (patch) | |
| tree | cb0dc871b45788289c82fbde086711226738a42f /Biz/App.hs | |
| parent | c467f7611f66b6d9b9dcb589ed534374cd7b2e6c (diff) | |
Add my GPG-derived SSH key
I'd much rather use GPG for key infrastructure. I'm not ready yet to fully
switch over all of these keys, but this works well so far in the gitolite-admin
repo so I'll test it out for a while before removing the old keys.
Diffstat (limited to 'Biz/App.hs')
0 files changed, 0 insertions, 0 deletions