Skip to content

Commit

Permalink
adding exit 1 if gh cli tool fails to merge a pull request
Browse files Browse the repository at this point in the history
Signed-off-by: Adam D. Cornett <[email protected]>
  • Loading branch information
acornett21 authored and Allda committed Aug 12, 2024
1 parent 743fa5e commit 80d88cc
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -93,4 +93,5 @@ spec:
else
echo "Cannot merge PR"
echo -n "false" > "$(results.pr_merged.path)"
exit 1
fi

0 comments on commit 80d88cc

Please sign in to comment.