Tag: github

Tous les articles avec le tag "github".

• Gitea : `mirror=true` et `issues=true` incompatibles

  19 févr. 2026

  Gitea : en mode `mirror: true`, les options issues, PR et labels sont silencieusement ignorées ; seul `mirror: false` importe la meta.

• Double Gitea mirror : 3 pièges API GitHub & perm `gitea.db`

  17 févr. 2026

  Mirror double Gitea de 28 repos GitHub en mode PULL : 3 pièges (perm gitea.db, API GitHub, scopes Gitea) et l’archi DR retenue.