reporting-bugs.md

March 23, 2026 ยท View on GitHub

Reporting bugs

If you find a bug using the following command

git diff HEAD..HEAD^

You can use report-bug.sh we provide

./report-bug.sh 'git diff HEAD..HEAD^'

Attach the output file to the GitHub issue you create.