Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PR feedback on recent work to sync solutions consistently #74260

Merged
merged 10 commits into from
Jul 3, 2024

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
@dotnet-issue-labeler dotnet-issue-labeler bot 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
25 checks passed
@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