diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2024-05-15 08:58:10 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2024-05-15 08:58:10 +0200 |
| commit | 2ed91026fcfef83ce5ef466a15e078229a106a6f (patch) | |
| tree | e11f2ef5f85d65029c9bdcc6d38304d8cbcdada6 /docs/fr | |
| parent | 2d17c020b6695d47debda065804db4e2d2f92e55 (diff) | |
Correct casing for GitHub (#6460)
Diffstat (limited to 'docs/fr')
| -rw-r--r-- | docs/fr/developers/03_Backend/05_Extensions.md | 2 | ||||
| -rw-r--r-- | docs/fr/users/01_Installation.md | 2 | ||||
| -rw-r--r-- | docs/fr/users/07_Frequently_Asked_Questions.md | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/docs/fr/developers/03_Backend/05_Extensions.md b/docs/fr/developers/03_Backend/05_Extensions.md index a8662ffa1..335eb5e6e 100644 --- a/docs/fr/developers/03_Backend/05_Extensions.md +++ b/docs/fr/developers/03_Backend/05_Extensions.md @@ -4,7 +4,7 @@ FreshRSS est un agrégateur de flux RSS / Atom écrit en PHP depuis octobre 2012. Le site officiel est situé à l’adresse -[freshrss.org](https://freshrss.org) et son dépot Git est hébergé par Github +[freshrss.org](https://freshrss.org) et son dépot Git est hébergé par GitHub : [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS). ## Problème à résoudre diff --git a/docs/fr/users/01_Installation.md b/docs/fr/users/01_Installation.md index e77cf866e..3f4aaa45f 100644 --- a/docs/fr/users/01_Installation.md +++ b/docs/fr/users/01_Installation.md @@ -26,7 +26,7 @@ Cette version sort lorsqu’on considère qu’on a répondu à nos objectifs en [Téléchargement](https://github.com/FreshRSS/FreshRSS/archive/edge.zip) -Comme son nom l’indique, il s’agit de la version sur laquelle les développeurs travaillent. **Elle est donc instable !** Si vous souhaitez recevoir les améliorations au jour le jour, vous pouvez l’utiliser, mais attention à bien suivre les évolutions sur Github (via [le flux RSS de la branche](https://github.com/FreshRSS/FreshRSS/commits/edge.atom) par exemple). On raconte que les développeurs principaux l’utilisent quotidiennement sans avoir de soucis. Sans doute savent-ils ce qu’ils font… +Comme son nom l’indique, il s’agit de la version sur laquelle les développeurs travaillent. **Elle est donc instable !** Si vous souhaitez recevoir les améliorations au jour le jour, vous pouvez l’utiliser, mais attention à bien suivre les évolutions sur GitHub (via [le flux RSS de la branche](https://github.com/FreshRSS/FreshRSS/commits/edge.atom) par exemple). On raconte que les développeurs principaux l’utilisent quotidiennement sans avoir de soucis. Sans doute savent-ils ce qu’ils font… ## Installation sur Apache diff --git a/docs/fr/users/07_Frequently_Asked_Questions.md b/docs/fr/users/07_Frequently_Asked_Questions.md index 6e8153f1f..e420cb2c4 100644 --- a/docs/fr/users/07_Frequently_Asked_Questions.md +++ b/docs/fr/users/07_Frequently_Asked_Questions.md @@ -55,7 +55,7 @@ dans un premier temps déterminer la cause du problème.Voici la liste des 1. __Vérifier l’intégration dans FreshRSS__ grâce à la [démo](https://demo.freshrss.org "Démo officielle de FreshRSS"). Si ça ne fonctionne pas, il faut [créer un ticket sur - Github](https://github.com/FreshRSS/FreshRSS/issues/new "Créer un ticket + GitHub](https://github.com/FreshRSS/FreshRSS/issues/new "Créer un ticket pour FreshRSS") pour que l’on puisse regarder ce qui se passe. Si ça fonctionne, il y a probablement un problème avec l’hébergement. |