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.

Sign up for GitHub

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

Jump to bottom

Rename generated AnalysisLevelStyle_xxx.editorconfig to AnalysisLevelStyle_xxx.globalconfig #71298

Merged
merged 1 commit into from
Dec 17, 2023
Merged

Rename generated AnalysisLevelStyle_xxx.editorconfig to AnalysisLevelStyle_xxx.globalconfig #71298

merged 1 commit into from
Dec 17, 2023

Conversation

joegoldman2
Copy link
Contributor

As discussed in dotnet/sdk#37569 @mavasani.

@joegoldman2 joegoldman2 requested a review from a team as a code owner December 17, 2023 16:54
@dotnet-issue-labeler dotnet-issue-labeler bot added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Dec 17, 2023
@ghost ghost added the Community The pull request was submitted by a contributor who is not a Microsoft employee. label Dec 17, 2023
mavasani
mavasani approved these changes Dec 17, 2023
View reviewed changes
Copy link
Contributor

@mavasani mavasani left a comment

Choose a reason for hiding this comment

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

Thanks!

@mavasani mavasani merged commit 422687f into dotnet:main Dec 17, 2023
28 checks passed
@ghost ghost added this to the Next milestone Dec 17, 2023
@joegoldman2 joegoldman2 deleted the code-style-filename branch December 17, 2023 18:18
@allisonchou allisonchou mentioned this pull request Dec 31, 2023
Closed
@Cosifne Cosifne modified the milestones: Next, 17.9 P3 Jan 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mavasani mavasani mavasani approved these changes

Assignees
No one assigned
Labels
Area-Infrastructure Community The pull request was submitted by a contributor who is not a Microsoft employee. untriaged Issues and PRs which have not yet been triaged by a lead
Projects
None yet
Milestone
17.9 P3
Development

Successfully merging this pull request may close these issues.
3 participants
@joegoldman2 @mavasani @Cosifne