Skip to content

Conversation

@CyrusNajmabadi
Copy link
Member

Remaining feedback on #72860

@CyrusNajmabadi CyrusNajmabadi requested a review from a team as a code owner July 3, 2024 18:02
@ghost ghost added Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead labels Jul 3, 2024
@CyrusNajmabadi
Copy link
Member Author

@jasonmalinowski as well so he can see the cleanup done post merge.

@CyrusNajmabadi CyrusNajmabadi enabled auto-merge July 3, 2024 18:15
@CyrusNajmabadi CyrusNajmabadi merged commit 8a2cc0f into dotnet:main Jul 3, 2024
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Jul 3, 2024
@CyrusNajmabadi CyrusNajmabadi deleted the sourceGenNaming branch July 3, 2024 20:42
@RikkiGibson RikkiGibson modified the milestones: Next, 17.12 P1 Jul 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants