Skip to content

Support PR number input and repo auto-match#139

Merged
BunsDev merged 1 commit intomainfrom
okcode/repo-link-pr-input
Apr 1, 2026
Merged

Support PR number input and repo auto-match#139
BunsDev merged 1 commit intomainfrom
okcode/repo-link-pr-input

Conversation

@BunsDev
Copy link
Copy Markdown
Member

@BunsDev BunsDev commented Apr 1, 2026

Summary

  • Allow pull request references to be entered as a full GitHub URL, #123, or 123 in the PR and merge-conflict flows.
  • Add structured PR reference parsing so the UI can extract repository metadata from GitHub PR URLs.
  • Auto-select the matching local project when a GitHub PR URL points at a known repository.
  • Update merge-conflict copy and validation text to reflect the broader input options.
  • Add tests for PR reference parsing and project matching behavior.

Testing

  • bun fmt
  • bun lint
  • bun typecheck
  • Not run: bun run test

- Accept raw PR numbers in merge conflict and thread dialogs
- Auto-select the matching project when a PR URL includes a repo slug
- Add parsing and matching tests for PR references
@vercel
Copy link
Copy Markdown

vercel Bot commented Apr 1, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
okcode-marketing Ready Ready Preview Apr 1, 2026 3:07am

@github-actions github-actions Bot added size:L vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. labels Apr 1, 2026
@BunsDev BunsDev merged commit e589cd0 into main Apr 1, 2026
8 of 9 checks passed
@BunsDev BunsDev deleted the okcode/repo-link-pr-input branch April 1, 2026 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:L vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant