Skip to end of metadata
Go to start of metadata

If you are having an Issue, but no code changes, you should create a new Issue on Github. If you have a patch ready, there is no need to create an issue, instead create the Pull Request immediately, following normal Github procedures.

Is it a duplicate?

Before filing a new bug, we encourage at least a cursory search across the existing open bugs to look for duplicates. Now, this is not a requirement, and in fact, we prefer more bugs than fewer bugs, even if it means we get some duplicates. Everyone, and that means you too, can help triaging bugs, and help identifying duplicates or invalid bugs.

Labels

Please add appropriate labels to each Issue and PR.

Milestones

Every Issue and PR should have a milestone, most likely the current development major version (which is currently v8.0.0).

  • No labels