diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2021-10-23 13:43:24 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-10-23 13:43:24 +0200 |
| commit | acbba9adb2e362079ce1fb84be1868b198cc1da0 (patch) | |
| tree | eeeaa9e522f82a9f8f9baaef3b6bd23950eab71a /docs/en/developers/06_Reporting_Bugs.md | |
| parent | dd02c79092aa25cacff1c831815e9ca02b06b620 (diff) | |
Improved markdownlint (#3918)
* Improved markdownlint
* Relaxed rules slighlty
* `npm run markdownlint` for automatic tests
* `npm run markdownlint_fix` for automatic syntax fixing
* Applied the fixes on all our Markdown files
Diffstat (limited to 'docs/en/developers/06_Reporting_Bugs.md')
| -rw-r--r-- | docs/en/developers/06_Reporting_Bugs.md | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/docs/en/developers/06_Reporting_Bugs.md b/docs/en/developers/06_Reporting_Bugs.md index 12d3259a6..77b16251f 100644 --- a/docs/en/developers/06_Reporting_Bugs.md +++ b/docs/en/developers/06_Reporting_Bugs.md @@ -8,12 +8,12 @@ If you're convinced that you should be heard, here's how you can go about it. GitHub is the ideal platform to submit your requests. It allows us to discuss a problem or suggestion with others and it often generates new ideas. Let's not neglect this "social" aspect! - 1. [Go to the bug ticket manager](https://github.com/FreshRSS/FreshRSS/issues) - 2. Start by checking if a similar request hasn't already been made. If so, please feel free to add your voice to the request. - 3. If your request is new, [open a new bug ticket](https://github.com/FreshRSS/FreshRSS/issues/new) - 4. Finally, write your request. If you're fluent in English, it's the preferred language because it allows for discussion with the largest number of people. - 5. Please follow the tips below to make it easier to let your ticket be heard. - +1. [Go to the bug ticket manager](https://github.com/FreshRSS/FreshRSS/issues) +2. Start by checking if a similar request hasn't already been made. If so, please feel free to add your voice to the request. +3. If your request is new, [open a new bug ticket](https://github.com/FreshRSS/FreshRSS/issues/new) +4. Finally, write your request. If you're fluent in English, it's the preferred language because it allows for discussion with the largest number of people. +5. Please follow the tips below to make it easier to let your ticket be heard. + ## Informal Not everyone likes or uses GitHub for a variety of legitimate reasons. That is why you can also contact us in a more informal way. @@ -59,8 +59,8 @@ So that we understand what you consider to be the problem. Remember to give the following information if you know it: - 1. Which browser? Which version? - 2. Which server: Apache, Nginx? Which version? - 3. Which version of PHP? - 4. Which database: SQLite, MySQL, MariaDB, PostgreSQL? Which version? - 5. Which distribution runs on the server? And... which version? +1. Which browser? Which version? +2. Which server: Apache, Nginx? Which version? +3. Which version of PHP? +4. Which database: SQLite, MySQL, MariaDB, PostgreSQL? Which version? +5. Which distribution runs on the server? And... which version? |