-
Notifications
You must be signed in to change notification settings - Fork 0
Closed
Description
Bug
The PR Rescue workflow uses set -euo pipefail and runs git fetch / git push inside the loop without error handling. If one PR's branch was deleted or push is rejected, set -e kills the entire script — all remaining PRs in the queue are skipped.
Git Blame
commit 058e1cc — feat: PR rescue workflow + pipeline hardening
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot didn't consider failure modes inside the loop.
Fix
Wrapped git fetch and git push in error-handling guards so failures skip the current PR and continue to the next. Fixed in PR #97.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels