Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Remove report_todo option #768

Merged
merged 1 commit into from
Aug 24, 2022
Merged

Remove report_todo option #768

merged 1 commit into from
Aug 24, 2022

Conversation

maltekliemann
Copy link
Contributor

The report_todo was removed: rust-lang/rustfmt#5357

I think clippy will have a similar feature in the future.

@maltekliemann maltekliemann added p:low Low priority, resolution of this issue can wait s:in-progress The pull requests is currently being worked on labels Aug 23, 2022
@maltekliemann maltekliemann self-assigned this Aug 23, 2022
@maltekliemann maltekliemann added s:review-needed The pull request requires reviews and removed s:in-progress The pull requests is currently being worked on labels Aug 23, 2022
@maltekliemann maltekliemann merged commit 2b5f030 into main Aug 24, 2022
@maltekliemann maltekliemann deleted the mkl-remove-report-todo branch August 24, 2022 10:28
@maltekliemann maltekliemann added s:accepted This pull request is ready for merge and removed p:low Low priority, resolution of this issue can wait s:review-needed The pull request requires reviews labels Aug 24, 2022
@sea212 sea212 added this to the v0.3.6 milestone Aug 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sea212 sea212 sea212 approved these changes

Assignees

@maltekliemann maltekliemann

Labels
s:accepted This pull request is ready for merge
Projects
None yet
Milestone
v0.3.6
Development

Successfully merging this pull request may close these issues.
2 participants
@maltekliemann @sea212