Add aliases for github URLs.

2026-05-25 21:19:09 -07:00 · 2015-08-19 19:19:48 -07:00
parent e1a5c1f588
commit 98d85b801d
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@@ -9,3 +9,7 @@
  browser = chrome
 [github]
  user = matir
+[url "https://github.com/"]
+  insteadOf = github://
+[url "ssh://git@github.com/"]
+  pushInsteadOf = github://