blog/2025
1
Fork 0
Code Issues Activity

Documente la gestion du verrou Git

Browse Source
This commit is contained in:
Richard Dern
2026-04-02 22:50:31 +02:00
parent 15522d3e7b
commit e0520249ef
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
AGENTS.md
View File

@@ -24,6 +24,8 @@ Il s'agit d'un site statique généré avec Hugo, dont la version peut être vé
- Les commits doivent être atomiques
- Les commits sont écrits en français UTF-8
- Aucun commit ne doit être effectué sans demande explicite de l'utilisateur
- Éviter d'exécuter des commandes Git en parallèle dès qu'au moins l'une d'elles peut toucher à l'index ou aux références ; préférer une exécution strictement séquentielle
- En cas d'erreur `Unable to create .../.git/index.lock`, vérifier d'abord qu'aucun autre processus Git local n'est actif ; si aucun processus n'utilise le dépôt et que le fichier `.git/index.lock` existe encore, le supprimer puis relancer la commande, de manière séquentielle
### Outils en console