- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for ref (0.21 sec)
-
.github/workflows/maven.yml
if [ "$GITHUB_EVENT_NAME" == "pull_request" ]; then user=${PR_HEAD_LABEL%:*} branch=${PR_HEAD_LABEL#*:} else user=${GITHUB_REPOSITORY%/*} branch=${GITHUB_REF#refs/heads/} fi if [ $branch != "master" ]; then git ls-remote https://github.com/$user/$repo.git | grep "refs/heads/${branch}$" > /dev/null if [ $? -eq 0 ]; then
Others - Registered: Sun May 05 03:35:11 GMT 2024 - Last Modified: Sun Mar 03 21:28:30 GMT 2024 - 4.5K bytes - Viewed (0)