Skip to content

Conversation

gewarren
Copy link
Contributor

@gewarren gewarren commented Jul 4, 2025

Contributes to #11499

@github-actions github-actions bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jul 4, 2025
@gewarren gewarren marked this pull request as ready for review July 4, 2025 08:26
@gewarren gewarren requested review from David-Engel, cheenamalhotra and a team as code owners July 4, 2025 08:26
@gewarren gewarren enabled auto-merge (squash) July 4, 2025 09:05
@gewarren
Copy link
Contributor Author

gewarren commented Jul 4, 2025

The remaining Snippets 5000 errors aren't worth fixing.

Copy link
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

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

This LGTM @gewarren

Let's :shipit:

@gewarren gewarren merged commit 5037ff8 into dotnet:main Jul 7, 2025
4 of 5 checks passed
@gewarren gewarren deleted the vb-snips-adonet branch July 14, 2025 20:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants