Skip to content

Fix: final poll to catch PR close/merge events#6

Merged
moeki0 merged 2 commits intomainfrom
fix/final-poll-on-close
Mar 31, 2026
Merged

Fix: final poll to catch PR close/merge events#6
moeki0 merged 2 commits intomainfrom
fix/final-poll-on-close

Conversation

@moeki0
Copy link
Copy Markdown
Owner

@moeki0 moeki0 commented Mar 31, 2026

Summary

  • When a PR is merged/closed, findPrForBranch(state=open) returns null and polling stops immediately, missing the PullRequestEvent
  • Now does one final poll cycle before idling to catch close/merge events

Test plan

  • Merge or close a PR and verify the merge/close notification is received

🤖 Generated with Claude Code

When findPrForBranch returns null but we had an active PR, do one
more poll cycle to pick up the PullRequestEvent before idling.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

Test comment from github-actions[bot]

Copy link
Copy Markdown

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Test review from github-actions[bot]

CI now verifies that if src/ files changed vs main, the version
must also be bumped. Only runs on PRs.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

Test comment from github-actions[bot]

Copy link
Copy Markdown

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Test review from github-actions[bot]

@moeki0 moeki0 merged commit 2a615de into main Mar 31, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant