Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Nov 1, 2025

Find and delete orphaned articles. Contributes to #...

@BillWagner
Copy link
Member

Closing this. The correct fix is to add the tutorial to the TOC.

@BillWagner BillWagner closed this Nov 3, 2025
BillWagner added a commit to BillWagner/docs that referenced this pull request Nov 3, 2025
This PR Replaces the following monthly chores PRs:

dotnet#49554:  This PR redirected TOC entries for articles that were removed in earlier PRs for compiler diagnostics. Instead, these entries in the TOC should be removed. New displayName entries have been added for all these diagnostics.

dotnet#49555 and dotnet#49556:  Instead of removing the article and the associated snippets, the article should have been added to the TOC. That was missing in the original TOC.
BillWagner added a commit that referenced this pull request Nov 3, 2025
* Correct fixes from Monthly chores

This PR Replaces the following monthly chores PRs:

#49554:  This PR redirected TOC entries for articles that were removed in earlier PRs for compiler diagnostics. Instead, these entries in the TOC should be removed. New displayName entries have been added for all these diagnostics.

#49555 and #49556:  Instead of removing the article and the associated snippets, the article should have been added to the TOC. That was missing in the original TOC.

* Add new clause to the standard

This was missed in an earlier PR.
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.

3 participants