[ssh] if a host starts with git, use git as user

2021-11-09 13:40:41 +01:00 · 2021-11-09 13:40:41 +01:00 · 32cc8c3e07
parent aa1eca1167
commit 32cc8c3e07
2 changed files with 3 additions and 3 deletions
--- a/ssh/config.d/git_wildcard
+++ b/ssh/config.d/git_wildcard
@ -0,0 +1,3 @@
+# Some git domain such as github.com, gitlab.com, or git.*
+Host git*
+User git
--- a/ssh/config.d/github
+++ b/ssh/config.d/github
@ -1,3 +0,0 @@
-# Github
-Host github.com
-User git