A while ago I did this to ignore changes to a file tracked by git:
git update-index --skip-worktree <file>
Now I actually want to commit changes to that file to source. How do I undo the effects of skip-worktree
?
Aha! I simply want:
git update-index --no-skip-worktree <file>