Skip to content

Conversation

@maltekliemann
Copy link
Contributor

No description provided.

@maltekliemann maltekliemann added p:low Low priority, resolution of this issue can wait s:review-needed The pull request requires reviews labels Nov 11, 2022
@maltekliemann maltekliemann self-assigned this Nov 11, 2022
Copy link
Contributor

@sea212 sea212 left a comment

Choose a reason for hiding this comment

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

Finally no more report_todo spam during compilation. Now the structure of todo comments is not enforced anymore, correct? Is there no alternative, i.e. do we have to keep order now by convention?

@maltekliemann
Copy link
Contributor Author

Finally no more report_todo spam during compilation. Now the structure of todo comments is not enforced anymore, correct? Is there no alternative, i.e. do we have to keep order now by convention?

There doesn't seem to be an alternative: rust-lang/rustfmt#5357. I've added checking for unnumbered TODOs to the checklist for reviews: #895.

@maltekliemann maltekliemann added s:accepted This pull request is ready for merge and removed s:review-needed The pull request requires reviews labels Dec 17, 2022
@maltekliemann maltekliemann merged commit 8281fbf into main Dec 17, 2022
@maltekliemann maltekliemann deleted the mkl-remove-report-todo-3 branch December 17, 2022 12:01
@sea212 sea212 removed the p:low Low priority, resolution of this issue can wait label Dec 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

s:accepted This pull request is ready for merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants