From 347358b1f191e14694a8073298ea833cda8bf349 Mon Sep 17 00:00:00 2001
From: Andreas Berthoud <andreas.berthoud@sonova.com>
Date: Fri, 26 Aug 2022 14:13:53 +0200
Subject: [PATCH] feat: add support for GitHub Enterprise

---
 entrypoint.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/entrypoint.sh b/entrypoint.sh
index fb5979e..3733b36 100755
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -80,7 +80,8 @@ 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"
+    DOMAIN=${GITHUB_SERVER_URL#*//}
+    REMOTE_REPO="https://${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@${DOMAIN}/${INPUT_REPOSITORY}.git"
     git pull "$REMOTE_REPO" "$INPUT_BRANCH"
     git push "$REMOTE_REPO" "HEAD:${INPUT_BRANCH}" --tags
   fi