This PR sets up the git hooks for linting and format checking.
Essential Checklist
[x] The PR title starts with "Fix #bugnum: ", followed by a short, clear summary of the changes. (If this PR fixes part of an issue, prefix the title with "Fix part of #bugnum: ...".)
[x] "Allow edits from maintainers" is checked. (See here for instructions on how to enable it.)
[x] The PR is made from a branch that's not called "main/master".
Proof that changes are correct
This commit is itself a proof that the git hooks had setup up correctly.
Fix #3
This PR sets up the git hooks for linting and format checking.
Essential Checklist
Proof that changes are correct
This commit is itself a proof that the git hooks had setup up correctly.