Skip to content

Commit

Permalink
add early stop condition
Browse files Browse the repository at this point in the history
  • Loading branch information
wd60622 committed Oct 30, 2024
1 parent 4b0e6bf commit 43c78db
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion entrypoint.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,13 @@

set -e

# These are json arrays
closing=$(get-closing-labels -o $INPUT_OWNER -n $INPUT_REPO -p $INPUT_PR_NUMBER)

if [ "$closing" = "[]" ]; then
echo "No closing labels found, exiting."
exit 0
fi

removed=$(get-removed-labels -o $INPUT_OWNER -n $INPUT_REPO -p $INPUT_PR_NUMBER)

echo "Closing labels: $closing"
Expand Down

0 comments on commit 43c78db

Please # to comment.