fix: Add support for GitHub Enterprise Server (#66)

* fix: Add support for GitHub Enterprise Server based on PR #52 by a-bertroud * fix: Remove extra line break --------- Co-authored-by: Gary <[email protected]>

Author: phoenix1480

entrypoint.sh

@@ -81,6 +81,7 @@ 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}"
@@ -94,7 +95,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