Git: édition d'historique et changement d'auteur
Le problème de base : j'ai une identité associée à un dépôt git via l'auteur des commits. Ce dépôt git doit devenir public, et je ne veux pas que cette identité apparaisse. Mais, je souhaite garder l'historique en terme de date.