dev #19

Open
tdpeuter wants to merge 120 commits from dev into main
Showing only changes of commit ecb5f0e225 - Show all commits

View file

@ -30,6 +30,12 @@ Host subgit.ugent.be
IdentityFile /run/secrets/UGent/SubGit/ssh
CanonicalizeHostname yes # Ignore capitalization
Host gitlab.ilabt.imec.be
User git
HostName gitlab.ilabt.imec.be
IdentitiesOnly yes
IdentityFile /run/secrets/UGent/GitHub/ssh
# HomeLab
# Physical hosts