Skip to content

The @copilot placeholder in the comment edit field should be followed by a space#7370

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue7363
Jul 22, 2025
Merged

The @copilot placeholder in the comment edit field should be followed by a space#7370
alexr00 merged 1 commit intomainfrom
alexr00/issue7363

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Jul 22, 2025

Fixes #7363

@alexr00 alexr00 enabled auto-merge (squash) July 22, 2025 09:09
@alexr00 alexr00 self-assigned this Jul 22, 2025
@vs-code-engineering vs-code-engineering bot added this to the July 2025 milestone Jul 22, 2025
@alexr00 alexr00 merged commit b72d161 into main Jul 22, 2025
3 checks passed
@alexr00 alexr00 deleted the alexr00/issue7363 branch July 22, 2025 10:08
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.

The @copilot placeholder in the comment edit field should be followed by a space

2 participants