Keep active pull requests visible in vscode.dev by Copilot · Pull Request #8905 · microsoft/vscode-pull-request-github · GitHub
Skip to content

Keep active pull requests visible in vscode.dev - #8905

Draft
Alex Ross (alexr00) with Copilot wants to merge 3 commits into
mainfrom
copilot/fix-vscode-dev-pr-extension
Draft

Alex Ross (alexr00) with Copilot wants to merge 3 commits into
mainfrom
copilot/fix-vscode-dev-pr-extension

Conversation

Copilot AI commented Aug 27, 2026 •

Copy link
Copy Markdown
Contributor

Virtual repositories cannot persist branch-to-PR metadata, causing polling to remove the active PR sidebar when metadata disappears.

  • Recovery: Re-query GitHub for missing metadata on unchanged branches.
  • Resilience: Preserve the active PR when refresh fails transiently.
  • Coverage: Verify successful recovery and failed-refresh behavior.

@azure-pipelines

Copy link
Copy Markdown

Copilot AI linked an issue Aug 27, 2026 that may be closed by this pull request
Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix issue with PR extension in vscode.dev Keep active pull requests visible in vscode.dev Aug 27, 2026
@alexr00

Copy link
Copy Markdown
Member

Copilot, I'm not seeing your changes.

Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>

Copilot AI commented Aug 27, 2026

Copy link
Copy Markdown
Contributor Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Not working in vscode.dev

2 participants