- Open a new GitHub issue with a clear title, steps to reproduce the bug, executable version, and other environment information.
- Ensure the bug was not already reported by searching existing issues.
- Open a new GitHub pull request with the changes.
- Ensure the branch for the pull request is based on the latest develop branch at that time.