Skip to content

expand documentation of pre-commit in contributing.md #3047

@tfliss

Description

@tfliss

What is your feature request?
pre-commit is a useful feature that runs static/lint checks on a github commit. it is also useful to run before actually committing. Do a brief expansion / update of the pre-commit instructions in

How important is this feature to you? Select from the options below:
• Low - nice to have convenience

Additional context
Might also want to look at / discuss build hooks and other commit commands

  • cd docs; make html (needs uv sync --group docs --group lint)

Metadata

Metadata

Assignees

Labels

community-generateddeveloper-dayssmallish tickets that can be considered "maintenance" and fixed within a single sessiondocumentationImprovements or additions to documentationgood first issueGood for newcomers

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions