[Git] Add GitHub-UGent key

This commit is contained in:
Tibo De Peuter 2023-09-11 13:28:41 +02:00 committed by Tibo De Peuter
parent 2a5bc5c15c
commit 82c46b4e62
3 changed files with 42 additions and 0 deletions

View file

@ -22,6 +22,12 @@
identityFile = "/run/secrets/GitHub/ssh";
user = "tdpeuter";
};
"github.ugent.be" = {
hostname = "github.ugent.be";
identitiesOnly = true;
identityFile = "/run/secrets/GitHub-UGent/ssh";
user = "tdpeuter";
};
};
};
};