From d1c19f6e485fec0d55be4242f36a170ae8d4cbc7 Mon Sep 17 00:00:00 2001 From: Alexander Brandstedt Date: Tue, 13 Jul 2021 14:56:58 +0200 Subject: [PATCH] adding api: to git config --- dist/steps/set_gitcredential.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/dist/steps/set_gitcredential.sh b/dist/steps/set_gitcredential.sh index f45bbd07..c49753a8 100755 --- a/dist/steps/set_gitcredential.sh +++ b/dist/steps/set_gitcredential.sh @@ -10,6 +10,7 @@ else git config --global --replace-all url.https://github.com/.insteadOf ssh://git@github.com/ git config --global --add url.https://github.com/.insteadOf git@github.com + git config --global url."https://api:$GIT_CREDENTIAL@github.com/".insteadOf "https://github.com/" git config --global url."https://ssh:$GIT_CREDENTIAL@github.com/".insteadOf "ssh://git@github.com/" git config --global url."https://git:$GIT_CREDENTIAL@github.com/".insteadOf "git@github.com:"