From 5d930552ace81e500acbc4d20833976ce96becb0 Mon Sep 17 00:00:00 2001 From: Gary Date: Mon, 27 Mar 2023 20:45:29 -0500 Subject: [PATCH 1/2] fix: Add support for GitHub Enterprise Server based on PR #52 by a-bertroud --- entrypoint.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/entrypoint.sh b/entrypoint.sh index 7a27397..77eb67d 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -81,10 +81,12 @@ fi echo "REVISION=${REV}" >>"$GITHUB_ENV" echo "version=${REV}" >>"$GITHUB_OUTPUT" +GITHUB_DOMAIN=${GITHUB_SERVER_URL#*//} CURRENT_BRANCH="$(git branch --show-current)" INPUT_BRANCH="${INPUT_BRANCH:-$CURRENT_BRANCH}" INPUT_REPOSITORY="${INPUT_REPOSITORY:-$GITHUB_REPOSITORY}" + echo "Repository: ${INPUT_REPOSITORY}" echo "Actor: ${GITHUB_ACTOR}" @@ -94,7 +96,7 @@ if [[ $INPUT_PUSH == 'true' ]]; then echo "You probably want to run on push to your default branch instead." >&2 else echo "Pushing to branch..." - REMOTE_REPO="https://${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@github.com/${INPUT_REPOSITORY}.git" + REMOTE_REPO="https://${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@${GITHUB_DOMAIN}/${INPUT_REPOSITORY}.git" git pull "$REMOTE_REPO" "$INPUT_BRANCH" git push "$REMOTE_REPO" "HEAD:${INPUT_BRANCH}" --tags fi From 6010acac9ebd597cb8300fad56e300d2a4ee42cc Mon Sep 17 00:00:00 2001 From: Gary Date: Mon, 27 Mar 2023 20:55:36 -0500 Subject: [PATCH 2/2] fix: Remove extra line break --- entrypoint.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/entrypoint.sh b/entrypoint.sh index 77eb67d..8a6a7d7 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -86,7 +86,6 @@ CURRENT_BRANCH="$(git branch --show-current)" INPUT_BRANCH="${INPUT_BRANCH:-$CURRENT_BRANCH}" INPUT_REPOSITORY="${INPUT_REPOSITORY:-$GITHUB_REPOSITORY}" - echo "Repository: ${INPUT_REPOSITORY}" echo "Actor: ${GITHUB_ACTOR}"