Steps to publish a new Clippy version
package.version
in ./Cargo.toml
(no need to manually bump dependencies.clippy_lints.version
)../pre_publish.sh
git push
cargo publish
in ./clippy_lints
.cargo publish
in the root directory.git pull
.git tag -s v0.0.X -m "v0.0.X"
.git push --tags
.