Post

Marco Ieni

@ieni.dev

Clippy has a new homepage! 👋 Goodbye rust-lang.github.io/rust-clippy/ 🏠 Welcome clippy.rust-lang.org/

Pascal

@killercup.de

happy 10th birthday clippy lint list! love how the design is still basically the same :D github.com/rust-lang/ru...

github.comAdd First Draft of Lint Listing Page by killercup · Pull Request #1091 · rust-lang/rust-clippycf. #1088 export.py is 80% copy-pasta from update_wiki.py index.html is 70% copy-pasta from bitrust Test: clone this branch and run $ python util/export.py $ cd util/gh-pages $ python -m SimpleHT...

15/10/26, 2:11 pm0 reposts1 like

The Projekt

@wearetheprojekt.bsky.social

Ten years in, the group split is what aged best. Keeping pedantic off by default is why most teams leave clippy in CI instead of ripping it out after the first week.