Restyle WIP: Use pre-commit for Git hooks#3448

Closed

restyled-io[bot] wants to merge 3 commits into

pull-3406-restyled

Commits on Mar 1, 2020

Initial design of using pre-commit for Git hooks

Andrew Hare
authored and
andrewhare
committed

Commits on Mar 5, 2020