Skip to content

Replace IDE0067 with IDE0001 in text #8528

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

Merged
merged 1 commit into from
Oct 12, 2022
Merged

Conversation

xtqqczze
Copy link
Contributor

@xtqqczze xtqqczze commented Oct 6, 2022

IDE0067 is a bad example as it no longer exists, see dotnet/roslyn@eeba499

IDE0067 is a bad example as it no longer exists, see dotnet/roslyn@eeba499
@prmerger-automator
Copy link
Contributor

@xtqqczze : Thanks for your contribution! The author(s) have been notified to review your proposed change.

@xtqqczze xtqqczze changed the title Replace IDE0067 with IDE001 in text Replace IDE0067 with IDE0001 in text Oct 6, 2022
@opbld32
Copy link

opbld32 commented Oct 6, 2022

Learn Build status updates of commit c06fdb6:

✅ Validation status: passed

File Status Preview URL Details
docs/code-quality/roslyn-analyzers-overview.md ✅Succeeded

For more details, please refer to the build report.

Note: Broken links written as relative paths are included in the above build report. For broken links written as absolute paths or external URLs, see the broken link report.

For any questions, please:

@Court72
Copy link
Contributor

Court72 commented Oct 6, 2022

@mikadumont

Can you review the proposed changes? IMPORTANT: When the changes are ready for publication, add a #sign-off comment to signal that the PR is ready for the review team to merge.

#label:"aq-pr-triaged"
@MicrosoftDocs/public-repo-pr-review-team

@prmerger-automator prmerger-automator bot added the aq-pr-triaged tracking label for the PR review team label Oct 6, 2022
@mikadumont
Copy link
Contributor

#sign-off

@j-martens j-martens merged commit 2a2931d into MicrosoftDocs:main Oct 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants