Fixed bug setting the server URL for github enterprise server (#198)

* Update action.yml

* Update entrypoint.sh

* Update entrypoint.sh

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
This commit is contained in:
Tonye Jack
2021-09-26 02:32:59 -04:00
committed by GitHub
parent 5a6b6bb1c3
commit 8e7cc77ab9
2 changed files with 5 additions and 2 deletions

View File

@@ -15,7 +15,9 @@ if [[ -n $INPUT_PATH ]]; then
cd "$REPO_DIR"
fi
git remote add temp_changed_files "https://${INPUT_TOKEN}@github.com/${GITHUB_REPOSITORY}"
SERVER_URL=$(echo "$GITHUB_SERVER_URL" | awk -F/ '{print $3}')
git remote add temp_changed_files "https://${INPUT_TOKEN}@${SERVER_URL}/${GITHUB_REPOSITORY}"
echo "Getting HEAD info..."