User Tools

Site Tools




Basic concepts and guidelines

User Guides

For users

For mappers


Learn about Dokuwiki


This is an old revision of the document!

Reporting bugs and/or feature requests on github

Who is this guide for

  • External users testing the platform
  • Internal staff

What this guide teaches

  • How to report bugs or problems currently being reproduced on the platform
  • How to request implementation of new features and enhancements

Things to know in forehand

Issues should be filed on the corresponding github repository

Some resources as a background

Reproducing and describing bugs

Keeping a consistent methodology for reproducing bugs is very important. Once a tester identifies an error, the conditions for reproducing it need to be gathered in order for developer to

public/bug_reporting.1471422684.txt.gz · Last modified: 2020/06/23 15:03 (external edit)