Report, Track and Fix Bugs - magma/magma GitHub Wiki

Reporting a bug

If you believe you found a bug you are welcome to report it guided by the following steps:

  1. Ensure that the bug is reproducible.
  2. Search if the bug already exists within the reported issues.
    • If yes is the answer, leave a thumbs-up emoji to indicate you are affected. Do not comment "me too" or the like! Only comment if you can provide meaningful new information.
  3. Create a new issue of type Bug report.

If you believe you bug has impact on project security, follow Security Overview for Contributors please.

Tracking a bug

All information related to an issue can be found on the issue page. For more information about the Github issues and its capabilities, see the official documentation.

Fixing a bug

You are welcome to fix any open bug or issue, which does not have a assignee. In case you would like to contribute to an issue which already has an assignee, please contact that person first.

See also