diff options
| author | Romain Gonçalves <me@rgoncalves.se> | 2021-12-12 14:54:36 +0000 |
|---|---|---|
| committer | Romain Gonçalves <me@rgoncalves.se> | 2021-12-12 14:54:58 +0000 |
| commit | 3b1b854855c703d026a47d870f71e648908e4e59 (patch) | |
| tree | daa896ea9de042bc87737f484380967ff5e6d3e6 /files | |
| parent | 0c8463a778b5dc117f2908ab9b1e823bc37d21cd (diff) | |
| download | infrastructure-3b1b854855c703d026a47d870f71e648908e4e59.tar.gz | |
files/keys: Add ws-bare01 to git users
Diffstat (limited to 'files')
| l--------- | files/keys/git/ws-bare01.pub | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/files/keys/git/ws-bare01.pub b/files/keys/git/ws-bare01.pub new file mode 120000 index 0000000..22fbbe2 --- /dev/null +++ b/files/keys/git/ws-bare01.pub @@ -0,0 +1 @@ +../ws-bare01.pub
\ No newline at end of file |