Flight Log / microsoft/vscode-pull-request-github #7255
Fix PR number format in tree view: change colon to dash separator — 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; abandoned — closed unmerged with no human engagement: +1,421 −1,300, 4 files, 0 reviews.
Flown by
- Lines
- +1,421 −1,300
- Files
- 4
- Commits
- 2
- Reviews
- 0
- To merge
- —
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
The PR number display feature in tree views was using a colon separator instead of the requested dash separator format. ## Issue When the setting `githubPullRequests.showPullRequestNumberInTree` is enabled, PR titles were displayed as: ``` #1234: PR title (username) ``` But the requested format wa…
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
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- Jul 9, 2025closedalexr00
Read next
Cite this flight: AgentRiders Flight Log, microsoft/vscode-pull-request-github#7255, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/vscode-pull-request-github/7255/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.