Skip to content

Conversation

wagnerjt
Copy link
Contributor

@wagnerjt wagnerjt commented Jul 31, 2025

Supports #252892

@wagnerjt
Copy link
Contributor Author

@microsoft-github-policy-service agree

@wagnerjt
Copy link
Contributor Author

@TylerLeonhardt :)

@ntrogh ntrogh requested a review from TylerLeonhardt July 31, 2025 17:34
@ntrogh
Copy link
Contributor

ntrogh commented Jul 31, 2025

@TylerLeonhardt can you do a quick review?

@wagnerjt Thanks for updating the docs! I'll do a final pass after Tyler's review. Also, given this will land in Stable (1.103) next week, I'll hold off on merging until we release.

TylerLeonhardt
TylerLeonhardt previously approved these changes Jul 31, 2025
Copy link
Member

@TylerLeonhardt TylerLeonhardt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Besides the one comment I think this looks good. Thanks for contributing!

@vs-code-engineering vs-code-engineering bot added this to the July 2025 milestone Jul 31, 2025
TylerLeonhardt
TylerLeonhardt previously approved these changes Jul 31, 2025
Copy link
Member

@TylerLeonhardt TylerLeonhardt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@ntrogh I defer to you for a edit pass :)

Copy link
Contributor

@ntrogh ntrogh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@wagnerjt Completed my edit pass, just a couple of minor edits. Appreciate you updating the docs!

Copy link
Contributor

@ntrogh ntrogh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@wagnerjt Thanks for the updates. As mentioned, will hold off on merging until we release.

@ntrogh ntrogh added don't merge doc-enhancement suggested addition or improvement labels Aug 1, 2025
@wagnerjt
Copy link
Contributor Author

wagnerjt commented Aug 1, 2025

@wagnerjt Thanks for the updates. As mentioned, will hold off on merging until we release.

Thanks for the feedback and makes sense. I'll leave it in your hands :)

@ntrogh ntrogh removed the don't merge label Aug 7, 2025
@ntrogh ntrogh merged commit 3255b72 into microsoft:main Aug 7, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc-enhancement suggested addition or improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants