The README's Reporting issues section ends with the following paragraph:
If you face an issue and know which particular GitHub repository is most related, you can open your issue against that repository. If unsure, you can open an issue here.
An issue can be introduced. solved or discovered, but not "opened" (as opposed to a ticket).
This should read something like:
If you face an issue and know which particular GitHub repository is most related, you can report your issue against that repository. If unsure, you can file an issue report here.
By the way
- The list may be misleading, as there is also a repository for the website.
- The section should be retitled "Tracking issues"/"Issue tracking", or just "Issues" (since hopefully the issue will already be reported).
- The "Issues" link(s) from the Jump in section should be moved to this section.
The README's Reporting issues section ends with the following paragraph:
An issue can be introduced. solved or discovered, but not "opened" (as opposed to a ticket).
This should read something like:
By the way