Flight Log / microsoft/vscode-pull-request-github #7258
Support GitHub PR URLs in "Checkout Pull Request by Number" command — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in microsoft/vscode-pull-request-github on Jul 8, 2025; merged after rework in 46 h: +3,151 −3,107, 5 files, 12 reviews.
Flown by
- Lines
- +3,151 −3,107
- Files
- 5
- Commits
- 6
- Reviews
- 12 (2 ✕)
- To merge
- 46 h
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
GitHub Copilot added GitHub PR URL support to the Checkout Pull Request by Number command, accepting full links alongside numbers. The change spans five files and six commits, with 3151 additions and 3107 deletions. Twelve reviews included two change requests and ten review comments. It merged after rework, 45.97 hours after opening.
From the pull request description
Enhanced the "Checkout Pull Request by Number" command to accept GitHub PR URLs in addition to just numbers, making it easier for users to checkout PRs by pasting the full URL. ## Changes - **Enhanced input validation** to accept both PR numbers (`123`, `#456`) and GitHub PR URLs (`https://github.…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
Read next
Cite this flight: AgentRiders Flight Log, microsoft/vscode-pull-request-github#7258, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/vscode-pull-request-github/7258/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.