Post

Marco Ieni

@ieni.dev

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

15/10/26, 9:09 am1 repost33 likes

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...

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.

Hayden (he/him)

@hds.cafe

Awesome! Much easier to remember!

Paolo Barbolini

@paolobarbolini.it

This will help with typing the address by hand 🎉