Development Guidelines

Pull requests

The pull request description must list all the changes. It is preferred to use a markdown checkbox list. You can use the following script to generate the list automatically from your branch commits.

git log --pretty=format:"- [x] %s %h" --no-merges main..HEAD | clip