From 32cc8c3e07838959d9364a953b58a01a6760a4f4 Mon Sep 17 00:00:00 2001
From: Eric Teunis de Boone <ericteunis@deboone.nl>
Date: Tue, 9 Nov 2021 13:40:41 +0100
Subject: [PATCH] [ssh] if a host starts with git, use git as user

---
 ssh/config.d/git_wildcard | 3 +++
 ssh/config.d/github       | 3 ---
 2 files changed, 3 insertions(+), 3 deletions(-)
 create mode 100644 ssh/config.d/git_wildcard
 delete mode 100644 ssh/config.d/github

diff --git a/ssh/config.d/git_wildcard b/ssh/config.d/git_wildcard
new file mode 100644
index 0000000..6cfe68a
--- /dev/null
+++ 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
diff --git a/ssh/config.d/github b/ssh/config.d/github
deleted file mode 100644
index a249cbc..0000000
--- a/ssh/config.d/github
+++ /dev/null
@@ -1,3 +0,0 @@
-# Github
-Host github.com
-User git