Also support ssh://git@github.com/... URLs

webfactory · Feb 13, 2021 · 53643c8 · 53643c8
1 parent 9398f09
commit 53643c8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -190,6 +190,7 @@ try {
 
         child_process.execSync(`git config --global --replace-all url."git@${sha256}:${ownerAndRepo}".insteadOf "https://github.com/${ownerAndRepo}"`);
         child_process.execSync(`git config --global --add url."git@${sha256}:${ownerAndRepo}".insteadOf "git@github.com:${ownerAndRepo}"`);
+        child_process.execSync(`git config --global --add url."git@${sha256}:${ownerAndRepo}".insteadOf "ssh://git@github.com/${ownerAndRepo}"`);
 
         let sshConfig = `\nHost ${sha256}\n`
                               + `    HostName github.com\n`

diff --git a/index.js b/index.js
@@ -73,6 +73,7 @@ try {
 
         child_process.execSync(`git config --global --replace-all url."git@${sha256}:${ownerAndRepo}".insteadOf "https://github.com/${ownerAndRepo}"`);
         child_process.execSync(`git config --global --add url."git@${sha256}:${ownerAndRepo}".insteadOf "git@github.com:${ownerAndRepo}"`);
+        child_process.execSync(`git config --global --add url."git@${sha256}:${ownerAndRepo}".insteadOf "ssh://git@github.com/${ownerAndRepo}"`);
 
         let sshConfig = `\nHost ${sha256}\n`
                               + `    HostName github.com\n`