Skip to content

Revert to before pre-commit was updated#850

Merged
da1910 merged 2 commits into
mainfrom
maint/roll-back-to-before-precommit-updates
Jul 13, 2026
Merged

Revert to before pre-commit was updated#850
da1910 merged 2 commits into
mainfrom
maint/roll-back-to-before-precommit-updates