Git workflow
NEVER push directly to main. Always:
- Create a feature/fix branch
- Commit changes there
- Push the branch
- Open a PR
Before committing, run make lint to ensure formatting and generated files are up to date.
After the pre-commit step and staging files, write a concise commit message and commit.