Skip to content

Conversation

j3iiifn
Copy link
Contributor

@j3iiifn j3iiifn commented Aug 14, 2025

Fixes #261702

@j3iiifn
Copy link
Contributor Author

j3iiifn commented Aug 14, 2025

@microsoft-github-policy-service agree

@aeschli
Copy link
Contributor

aeschli commented Aug 18, 2025

Thanks @j3iiifn !

@vs-code-engineering vs-code-engineering bot added this to the August 2025 milestone Aug 18, 2025
@aeschli aeschli merged commit 8951f2c into microsoft:main Aug 18, 2025
17 checks passed
@j3iiifn j3iiifn deleted the fix/prompt-filename-with-digits branch August 18, 2025 16:23
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.

Prompt file name cannot contain digits
3 participants