Skip to content

Make titles for IDE0029 and IDE0030 unique #64685

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
Merged
mavasani merged 2 commits into from
Oct 13, 2022
Merged

Make titles for IDE0029 and IDE0030 unique #64685

mavasani merged 2 commits into from
Oct 13, 2022

Conversation

@CollinAlpert
Copy link
Contributor

@CollinAlpert CollinAlpert commented Oct 12, 2022

Fixes #63259

@CollinAlpert CollinAlpert requested a review from a team as a code owner October 12, 2022 23:14
@ghost ghost added Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee. labels Oct 12, 2022
@build-analysis build-analysis bot mentioned this pull request Oct 13, 2022
Closed
2 tasks
@mavasani mavasani enabled auto-merge October 13, 2022 04:52
@mavasani mavasani merged commit 42347aa into dotnet:main Oct 13, 2022
@ghost ghost added this to the Next milestone Oct 13, 2022
@allisonchou allisonchou mentioned this pull request Oct 14, 2022
Closed
@CollinAlpert CollinAlpert deleted the issue_63259 branch October 15, 2022 08:33
@RikkiGibson RikkiGibson modified the milestones: Next, 17.5 P1 Oct 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@mavasani mavasani mavasani approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.

Projects

None yet

Milestone

17.5 P1

Development

Successfully merging this pull request may close these issues.

IDE0029 and IDE0030 have the same title

3 participants

@CollinAlpert @mavasani @RikkiGibson