docs: use GitHub as public addon repository

AGENTS.md

@@ -7,14 +7,18 @@ Ce dépôt contient l’add-on Home Assistant `arkteos-proxy-addon`.
 Son rôle est de maintenir une connexion TCP unique vers une PAC Arkteos et de
 mettre ce flux à disposition de plusieurs clients TCP.
 
-Gitea est le dépôt principal :
+Gitea est le dépôt principal de développement interne via `origin` :
 
 - https://gitea.i-host.fr/raph666/arkteos-proxy-addon
 
-GitHub est uniquement un miroir secondaire :
+GitHub est le miroir public via `github` et l’URL de distribution de l’add-on :
 
 - https://github.com/raph666/arkteos-proxy-addon
 
+Les fichiers publics destinés aux utilisateurs, notamment `README.md`,
+`config.yaml` et `repository.yaml`, doivent utiliser l’URL GitHub, sauf demande
+contraire. L’URL Gitea reste réservée à la documentation interne.
+
 ## Architecture
 
 Le proxy comporte deux côtés distincts :