1
Fork 0
mirror of https://gitea.com/actions/checkout.git synced 2024-11-22 16:45:56 +01:00

Use server hostname for org-id-style SSH URLs

GitHub Enterprise Server can show a SSH URLs that includes organization ID, too: https://docs.github.com/en/enterprise-server@3.6/organizations/managing-git-access-to-your-organizations-repositories/about-ssh-certificate-authorities#about-ssh-urls-with-ssh-certificates

Follow-up: ec3a7ce113

🔗 https://github.com/actions/checkout/pull/621
This commit is contained in:
nekketsuuu 2022-10-10 21:09:34 +09:00
parent 8230315d06
commit 2427e94287

View file

@ -67,7 +67,7 @@ class GitAuthHelper {
this.insteadOfValues.push(`git@${serverUrl.hostname}:`) this.insteadOfValues.push(`git@${serverUrl.hostname}:`)
if (this.settings.workflowOrganizationId) { if (this.settings.workflowOrganizationId) {
this.insteadOfValues.push( this.insteadOfValues.push(
`org-${this.settings.workflowOrganizationId}@github.com:` `org-${this.settings.workflowOrganizationId}@${serverUrl.hostname}:`
) )
} }
} }