Tag: git

Tous les articles avec le tag "git".

• Bind mount fantôme : git ne remplace pas un dossier

  19 avr. 2026

  Bind mount fantôme : après qu’un dossier vide a été auto-créé par Docker, git refuse de le remplacer par un fichier lors d’un git pull.

• Sync Gitea qui échoue en silence : 3 pièges et la méthode

  21 févr. 2026

  Sync Gitea qui réussit en HTTP 200 mais ne fait rien : token invalide, filtre owner ignoré, compteur bash en subshell. 3 pièges et la méthode.

• 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.