Skip to content

Conversation

gewarren
Copy link
Contributor

Contributes to #11345.
(Hide whitespace changes.)

@gewarren gewarren marked this pull request as ready for review June 19, 2025 18:41
@gewarren gewarren requested a review from a team as a code owner June 19, 2025 18:41
@gewarren gewarren enabled auto-merge (squash) June 20, 2025 08:59
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 5e2ff41 into dotnet:main Jun 20, 2025
5 checks passed
@gewarren gewarren deleted the obsolete-system.workflow branch June 20, 2025 15:39
@gewarren gewarren added the okr-curation OKR: Curate content to remove outdated recommendations label Jul 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-Infrastructure okr-curation OKR: Curate content to remove outdated recommendations
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants