Fix #759: pr-search includes all PR states so merged PRs are found - #1331
Open
waleedkadous wants to merge 25 commits into
Open
Fix #759: pr-search includes all PR states so merged PRs are found#1331waleedkadous wants to merge 25 commits into
waleedkadous wants to merge 25 commits into
Commits
Commits on Aug 1, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed