From 835a73ad2a97584e09bbf8d2a4fad903de28862c Mon Sep 17 00:00:00 2001 From: Oleg Broytman Date: Fri, 24 Mar 2017 17:12:47 +0300 Subject: [PATCH] .gitconfig: add Github URL shortcuts --- .gitconfig | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/.gitconfig b/.gitconfig index 6e59db2..c7383fe 100644 --- 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:" -- 2.39.5