From 96b98b7b55d0d4acb63a7d7b03943c199652ab26 Mon Sep 17 00:00:00 2001 From: Michal Nazarewicz Date: Tue, 22 Feb 2022 16:40:18 +0100 Subject: [PATCH] [git] Support pushInsteadOf for GitHub repos outside of my account --- git/config | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/git/config b/git/config index 79fb55d..00544f2 100644 --- a/git/config +++ b/git/config @@ -57,8 +57,9 @@ [interactive] singleKey = true -[url "github:mina86/"] - pushInsteadOf = git://github.com/mina86/ +[url "github:"] + pushInsteadOf = git://github.com/ + pushInsteadOf = https://github.com/ [url "mina86@git.sv.gnu.org:/srv/git/"] pushInsteadOf = git://git.sv.gnu.org/ [url "ssh://mina86@git.code.sf.net/"] -- 2.11.4.GIT