You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
echo>&2"Determining Git tag for $github_repository@$git_ref"
27
+
28
+
case$git_refin
29
+
refs/pull/*)
30
+
# If the ref is a github virtual pull request merge, this is not a valid git ref
31
+
# Although this script is meant to be portable, action_ref being a PR merge can only happen for PRs to the action repo - in which case it is already checked out
0 commit comments