Skip to content

Latest commit

 

History

History
17 lines (10 loc) · 1.53 KB

Report.md

File metadata and controls

17 lines (10 loc) · 1.53 KB

How to file a Github issue for an INGInious task

If you spot a bug inside an INGInious task, please describe the problem with as many details as possible to reproduce it by creating an issue on Github

The first point to report in your bug report is to clearly identify the exercise that did not work as expected. Each exercise is identified by a unique name that you can find in its URL. See the screenshot below for an example.

Figure URL

The second point is to clearly explain the problem that you found. Try to be as precise as possible and explain how you think that the problem should be solved. If the problem is related to one of your submissions, please provide the unique identifier of your submission to enable us to reproduce the problem and fix it. Your submission identifier appears in the feedback as an hexadecimal number that starts with a #, see the example below.

Figure URL

How to create a pull request

Some of the problems that you have identified might have a very simple fix. For example, if you have spotted a typo in one exercise or want to propose a small change to a test suite, you can fork the repository and then propose a pull-request. See https://help.github.com/articles/creating-a-pull-request/ for additional information on how to create a pull request.