Add pre-commit to this repo #46
Description
pre-commit is a tool to perform the common lint checks that we do manually with github ci. We can replace that with pre-commit checks built to bring in clang-format, and other tools.
{{ message }}
pre-commit is a tool to perform the common lint checks that we do manually with github ci. We can replace that with pre-commit checks built to bring in clang-format, and other tools.