Merge pull request SvanBoxel#25 from rosiel/tags

Use `$GITHUB_REF_NAME` to work with both branches and tags.
numericalalgorithmsgroup · Oct 26, 2023 · 5c211f9 · 5c211f9
2 parents f80bc11 + 52dfdc0
commit 5c211f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -22,7 +22,7 @@ DEFAULT_POLL_TIMEOUT=10
 POLL_TIMEOUT=${POLL_TIMEOUT:-$DEFAULT_POLL_TIMEOUT}
 
 sh -c "git config --global --add safe.directory /github/workspace"
-git checkout "${GITHUB_REF:11}"
+git checkout "$GITHUB_REF_NAME"
 
 branch="$(git symbolic-ref --short HEAD)"
 branch_uri="$(urlencode ${branch})"