Repository navigation

Poll the PR through observe_pr's retry policy instead of a workflow timer - #45

Merged

krokicki merged 2 commits into

mainfrom

worktree-poll-via-retry

Oct 13, 2026

Merged

Poll the PR through observe_pr's retry policy instead of a workflow timer#45
krokicki merged 2 commits into
mainfrom
worktree-poll-via-retry

Commits on Oct 13, 2026
- Poll the PR through observe_pr's retry policy instead of a workflow timer
  
  krokicki
  and
  claude
  committed
  f687845
- Merge origin/main (mypy) into worktree-poll-via-retry
  
  krokicki
  and
  claude
  committed
  295fdb3