diff --git a/README.md b/README.md index 142ec20..a7924cd 100644 --- a/README.md +++ b/README.md @@ -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 # used. + # Default: git ssh-user: '' # Whether to configure the token or SSH key with the local git config diff --git a/dist/index.js b/dist/index.js index 5814717..b210247 100644 --- a/dist/index.js +++ b/dist/index.js @@ -2401,7 +2401,7 @@ function getFetchUrl(settings) { const encodedOwner = encodeURIComponent(settings.repositoryOwner); const encodedName = encodeURIComponent(settings.repositoryName); 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`; } // "origin" is SCHEME://HOSTNAME[:PORT]