We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 8604403 + 9fa73a8 commit 7ee6d63Copy full SHA for 7ee6d63
1 file changed
pr-ready/wait-for-merge.sh
@@ -19,10 +19,11 @@ check_pr_status() {
19
PR_DATA=$(curl -s -H "Authorization: token $GITHUB_TOKEN" "$API_URL")
20
if echo "$PR_DATA" | grep -q '"merged": true'; then
21
echo "Pull request is merged."
22
- return 0
+ return 1
23
else
24
echo "Pull request is not merged. Checking again in 60 seconds..."
25
sleep 60
26
+ return 0
27
fi
28
}
29
0 commit comments