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

PR classified as team-member.

⚠️ Head commit is NOT signed by a trusted team member, so the full 2-approval requirement applies. (Head commit 3b2e79b is signed by GitHub, not by a trusted team member. GitHub adds its own "Verified" signature to commits it creates on your behalf — e.g. edits made in the github.com web editor, suggestions applied from a review, or commits made via Codespaces or the GitHub API. That signature only proves GitHub made the commit, not that a trusted team member authored it, so it does not earn the signing credit. To get the credit, create the commit locally, and sign it with a trusted key.)

Tip: to earn the credit (−1 approval), the head commit must be signed by you with one of your own keys listed in security/trusted-signing-keys.csv. A "Verified" badge that GitHub adds to commits it creates on your behalf — web-editor edits, applied suggestions, Codespaces, API commits — does not count.

⚠️ Collaborator approvals: 0/2.

Needs 2 more collaborator approvals to merge.

✅ No newly added runnable binary files.

✅ No protected engineering system files changed.