Skip to content

Conversation

@tbu-
Copy link
Contributor

@tbu- tbu- commented Oct 30, 2025

Also fix two other smaller issues.

@tbu-
Copy link
Contributor Author

tbu- commented Oct 30, 2025

Let me ask again: Is there someone actually looking at the whole issue once after it's published? #6862 (comment)

If not, I think this could be quite beneficial to avoid errors like this. The whole "Tracking Issues & PRs" section is basically unreadable without the itemization.

@mariannegoldin mariannegoldin requested review from U007D and llogiq and removed request for U007D October 30, 2025 18:13
@mariannegoldin mariannegoldin requested review from U007D and llogiq and removed request for U007D October 30, 2025 18:17
@llogiq
Copy link
Contributor

llogiq commented Oct 30, 2025

Sorry, my script that should run the markdown linter broke, silently ignoring the markdown problems.

I will update my script and hopefully fix this before next week's issue.

@mariannegoldin
Copy link
Contributor

mariannegoldin commented Oct 30, 2025

@tbu- thanks much for your PR. We do have some automation which helps us lint the issues, along with some manual review.

@mariannegoldin mariannegoldin merged commit 8654a7b into rust-lang:master Oct 30, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants