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

Add copy lint name button #8839

Merged
merged 3 commits into from
May 18, 2022
Merged

Add copy lint name button #8839

merged 3 commits into from
May 18, 2022

Conversation

Serial-ATA
Copy link
Contributor

@Serial-ATA Serial-ATA commented May 18, 2022 •
edited by xFrednet
Loading

changelog: Documentation: Add a copy lint name-button to Clippy's lint list

closes #7959

@rust-highfive
Copy link

r? @Manishearth

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label May 18, 2022
@Serial-ATA
Copy link
Contributor Author

r? @xFrednet

xFrednet
xFrednet approved these changes May 18, 2022
View reviewed changes
Copy link
Member

@xFrednet xFrednet left a comment •
edited
Loading

Choose a reason for hiding this comment

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

That was quick! Just one small NIT and then it's ready to be merged :)

Btw, this is also worthy of a changelog entry. I've added one 🙃

util/gh-pages/script.js Outdated Show resolved Hide resolved
@xFrednet
Copy link
Member

Thank you for the quick updates and this change. I've been waiting for this!!

@bors r+

No pressure, but If you're interested in some further improvement to the website, we have #7172 as a tracking issue with two open todos. 🙃

@bors
Copy link
Contributor

bors commented May 18, 2022

📌 Commit e05da56 has been approved by xFrednet

@bors
Copy link
Contributor

bors commented May 18, 2022

⌛ Testing commit e05da56 with merge 6f8d18f...

@bors
Copy link
Contributor

bors commented May 18, 2022

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: xFrednet
Pushing 6f8d18f to master...

@bors bors merged commit 6f8d18f into rust-lang:master May 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@xFrednet xFrednet xFrednet approved these changes

Assignees

@xFrednet xFrednet

Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add copy lint name function to Clippy's lint list
5 participants
@Serial-ATA @rust-highfive @xFrednet @bors @Manishearth