.gitconfig: add Github URL shortcuts

diff --git a/.gitconfig b/.gitconfig
index 6e59db2c11e3af9e26506a73641d48a26d006260..c7383fe3550dba5522157ae3f2139c94f40afa15 100644 (file)
--- a/.gitconfig
+++ b/.gitconfig
@@ -206,3 +206,17 @@
 [gui]
        fontui = -family \"DejaVu Sans\" -size 18 -weight normal -slant roman -underline 0 -overstrike 0
        fontdiff = -family \"DejaVu Sans Mono\" -size 18 -weight normal -slant roman -underline 0 -overstrike 0
+
+# Github URL shortcuts
+[url "git@github.com:"]
+       insteadOf = "gh:"
+       pushInsteadOf = "github:"
+       pushInsteadOf = "git://github.com/"
+[url "git://github.com/"]
+       insteadOf = "github:"
+[url "git@gist.github.com:"]
+       insteadOf = "gst:"
+       pushInsteadOf = "gist:"
+       pushInsteadOf = "git://gist.github.com/"
+[url "git://gist.github.com/"]
+       insteadOf = "gist:"