Are you a new contributor? Check out the Contributor's Orientation Guide.
Search the issue tracker to ensure that there is no open issue addressing the bug.
If that is the case, open a new issue. Make sure to include a clear title, description, and as much relevant information as possible.
Make sure that the pull request addresses an open issue in the issue tracker.
Remember to follow the TEAMMATES Development Process. In particular, make sure you follow the naming
conventions for pull request titles and branch names.
For a comprehensive directory of resources, including style guides and best practices, please refer to README.md.