Discard working-tree changes with git restore

Throw away unwanted edits in the working tree and unstage files with `git restore`.