Fix capitalized urls not matching

This commit is contained in:
Tibo De Peuter 2023-10-31 09:14:14 +01:00
parent 5a7c6b58d6
commit 8a029e0328

View file

@ -34,4 +34,5 @@ Host subgit.ugent.be
HostName subgit.ugent.be
IdentitiesOnly yes
IdentityFile /run/secrets/UGent/SubGit/ssh
CanonicalizeHostname yes # Ignore capitalization