Add pre-commit#23

Merged

vedantgrover merged 5 commits intomasterfrom

Nov 7, 2025

Commits on Oct 10, 2025

Add pre-commit and git hook
vedantgrover
committed

Commits on Oct 21, 2025

more pre-commit
Edwardius
committed

Commits on Oct 29, 2025

Merge branch 'master' into add-pre-commit
vedantgrover
committed

Commits on Nov 7, 2025