undo_last_modification
Restore any file to its committed version, discarding all uncommitted edits and synchronizing the symbol/label index. Deletes untracked files as well.
Instructions
Roll back a file. Tracked by git -> git checkout HEAD, which discards ALL uncommitted changes to it, not just the last edit. Untracked -> deletes it. Also re-syncs the symbol/label index, which a manual git revert or editor undo would leave stale.
⚠️ Local companion tool: write-only/local mode (Windows VM) only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| filePath | Yes | Absolute path to the file to restore to HEAD (or delete, if untracked) |