We welcome contributions from the public.
Using the issue tracker
The issue tracker is the preferred channel for bug reports and features requests.
Issues and labels
Our bug tracker utilizes several labels to help organize and identify issues.
Guidelines for bug reports
Use the GitHub issue search — check if the issue has already been reported.