mirror of
https://github.com/actions/checkout.git
synced 2024-04-27 16:57:09 +08:00
Update genfiles
This commit is contained in:
parent
9acec543f2
commit
eb237700fe
@ -64,6 +64,7 @@ Please refer to the [release page](https://github.com/actions/checkout/releases/
|
|||||||
|
|
||||||
# The user to use when connecting to the remote SSH host. By default 'git' is
|
# The user to use when connecting to the remote SSH host. By default 'git' is
|
||||||
# used.
|
# used.
|
||||||
|
# Default: git
|
||||||
ssh-user: ''
|
ssh-user: ''
|
||||||
|
|
||||||
# Whether to configure the token or SSH key with the local git config
|
# Whether to configure the token or SSH key with the local git config
|
||||||
|
2
dist/index.js
vendored
2
dist/index.js
vendored
@ -2401,7 +2401,7 @@ function getFetchUrl(settings) {
|
|||||||
const encodedOwner = encodeURIComponent(settings.repositoryOwner);
|
const encodedOwner = encodeURIComponent(settings.repositoryOwner);
|
||||||
const encodedName = encodeURIComponent(settings.repositoryName);
|
const encodedName = encodeURIComponent(settings.repositoryName);
|
||||||
if (settings.sshKey) {
|
if (settings.sshKey) {
|
||||||
let user = settings.sshUser.length > 0 ? settings.sshUser : 'git';
|
const user = settings.sshUser.length > 0 ? settings.sshUser : 'git';
|
||||||
return `${user}@${serviceUrl.hostname}:${encodedOwner}/${encodedName}.git`;
|
return `${user}@${serviceUrl.hostname}:${encodedOwner}/${encodedName}.git`;
|
||||||
}
|
}
|
||||||
// "origin" is SCHEME://HOSTNAME[:PORT]
|
// "origin" is SCHEME://HOSTNAME[:PORT]
|
||||||
|
Loading…
Reference in New Issue
Block a user