Submitting Bug Reports
If you’ve found a bug, please use the github issue tracker on the crawl repository to submit a report.
Use the ‘New Issue‘ link to file a new bug. Before filing a new bug report please check that the bug isn’t already in the tracker (if it is, you can add a comment to the existing report). When filing bugs, please provide sufficient information to help us reproduce the problem. The github issue template provides a useful guide for this; err on the side of providing more information rather than less.
Historically, the CDO mantis tracker was used for reporting bugs. This is still available for use for those who have an account, but no new accounts are possible.
Submitting Patches
Please submit patches as Github pull requests. It is often useful to discuss changes with development team members in advance. See the official contribution process documentation in the repository for more information.