trunk
Make proposal filenames use 6 digits and include the title (#7245)
Bazel-ify most of the Python scripts. (#229)
Move the jekyll sidebar to a python script for consistent generation. (#205)
Switch a few stragglers to `uv` and update python to 3.12 (#7296)
Switch to Astral Python tools: `ruff` and `ty` (#7243)
new_proposal.py fix for rumdl missing anchor from dangling ToC TODO entry (#7540)
Fix handling of backticks in proposal names. (#7383)
Update to latest `rumdl` release and enable another option (#7483)