Commit graph

5 commits

Author SHA1 Message Date
fd3850b40c Fix renamed options 2023-11-19 15:37:51 +01:00
82c46b4e62 [Git] Add GitHub-UGent key 2023-11-19 15:37:51 +01:00
c376b8630e [SSH] Add GitHub key 2023-11-19 15:37:51 +01:00
21fa5a8411 Configure secrets, configure ssh and add H4G0 2023-11-19 15:37:51 +01:00
1b33524ccb Add SSH 2023-11-19 15:37:51 +01:00