Revert back to using "Workspace" as group label for prompt file picker#274393
Merged
Revert back to using "Workspace" as group label for prompt file picker#274393
Conversation
Contributor
There was a problem hiding this comment.
Pull Request Overview
This PR updates the separator label for workspace prompt files from a hardcoded .github/instructions to a localized "Workspace" label. This change improves internationalization by making the separator label translatable and more accurately represents the section's content.
- Replaced hardcoded
.github/instructionsseparator label with localized "Workspace" label - Removed outdated comment explaining why the label wasn't localized
aeschli
approved these changes
Oct 31, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Mitigates Issue #274004 (introduced in PR #271952) where ".github/instructions" was even showing up for other non-instruction pickers like the Prompts picker. Now we go back to showing "Workspace"
With this change, the instructions picker will now have these three categories:
In a follow-up PR, will explore if it would be beneficial to group "Workspace" into a group per containing folder as suggested in #274004