Skip to content

We didn't use WFO5000 warning ID, removing it from internal docs #13066

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
Mar 4, 2025

Conversation

Tanya-Solyanik
Copy link
Member

@Tanya-Solyanik Tanya-Solyanik commented Mar 4, 2025

I searched all files from the repo root and didn't find any references. It's also not documented.

@Tanya-Solyanik Tanya-Solyanik requested a review from a team as a code owner March 4, 2025 00:50
@Tanya-Solyanik Tanya-Solyanik requested review from Copilot and KlausLoeffelmann and removed request for a team March 4, 2025 00:51
Copy link

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

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

PR Overview

This PR removes the unused and undocumented WFO5000 diagnostic ID from the internal documentation.

  • Removed the table row referencing WFO5000.

Reviewed Changes

File Description
docs/analyzers/Experimental.Help.md Removed WFO5000 diagnostic reference from documentation.

Copilot reviewed 1 out of 1 changed files in this pull request and generated no comments.

@Tanya-Solyanik Tanya-Solyanik merged commit 71ad360 into dotnet:main Mar 4, 2025
2 checks passed
@dotnet-policy-service dotnet-policy-service bot added this to the 10.0 Preview3 milestone Mar 4, 2025
LeafShi1 pushed a commit to LeafShi1/winforms that referenced this pull request Mar 6, 2025
…net#13066)

I searched all files from the repo root and didn't find any references.
It's also not documented.
@Tanya-Solyanik Tanya-Solyanik deleted the WFO5000 branch March 12, 2025 04:11
@github-actions github-actions bot locked and limited conversation to collaborators Apr 11, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants