Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
sagemathgh-36474: add ruff to developer tools
This is just adding the fast linter `ruff` to the developer guide as yet another of our tools-of-the-trade. ### 📝 Checklist - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. URL: sagemath#36474 Reported by: Frédéric Chapoton Reviewer(s): Kwankyu Lee
- Loading branch information