From eb237700fe6043a473364652f9c7ab5f53200717 Mon Sep 17 00:00:00 2001
From: Cory Miller <13227161+cory-miller@users.noreply.github.com>
Date: Thu, 18 Apr 2024 19:15:40 +0000
Subject: [PATCH] Update genfiles
---
README.md | 1 +
dist/index.js | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
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]