Skip to content

Conversation

@timotheeguerin
Copy link
Member

The old extension is deprecated and this one is the replacement

@github-actions
Copy link
Contributor

github-actions bot commented Dec 1, 2025

No changes needing a change description found.

@azure-sdk
Copy link
Collaborator

azure-sdk commented Dec 1, 2025

You can try these changes here

🛝 Playground 🌐 Website 🛝 VSCode Extension

@microsoft-github-policy-service microsoft-github-policy-service bot added the stale Mark a PR that hasn't been recently updated and will be closed. label Jan 16, 2026
@microsoft-github-policy-service
Copy link
Contributor

Hi @@timotheeguerin. Your PR has had no update for 30 days and it is marked as a stale PR. If it is not updated within 30 days, the PR will automatically be closed. If you want to refresh the PR, please remove the stale label.

@timotheeguerin timotheeguerin added this pull request to the merge queue Jan 16, 2026
Merged via the queue into microsoft:main with commit 650da53 Jan 16, 2026
27 checks passed
@timotheeguerin timotheeguerin deleted the prettier-new-extensins branch January 16, 2026 23:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

stale Mark a PR that hasn't been recently updated and will be closed.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants