Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Corrected the CONTRIBUTING.md "External Dependencies" section #44664
Fine by me, if clippy isn't replaced, but instead rustfmt is added to the list.
It might be easier for now to suggest opening a PR and marking the tool as broken as the primary way to solve this, since in curtains no waiting time ( with the solution in this PR you need to wait on the tool Devs)
Since pull requests are rather volatile, we are supposed to only point to branches, not to pull requests. This means that if the tool authors accept your pull request into a branch, you may point your PR's submodule to the tool-branch, but you may not point it to the tool-PR