Qualche tempo fa l'ho fatto per ignorare le modifiche a un file monitorato da git:
git update-index --skip-worktree <file>
Ora in realtà voglio eseguire il commit delle modifiche a quel file alla fonte. Come annullare gli effetti di skip-worktree
?