New Repository

Usage Guidelines

Change LICENSE if necessary
Modify .pre-commit-config.yaml according to your need
Modify/add GitHub workflow status badges in README.md

Developer Quick Start

Run scripts/dev-setup.sh to setup the development environment