git annex undo command. This is intended to be a simple
interface for users who have changed one file, and want to undo the change
without the complexities of
git revert or
git annex proxy. It's simple
enough that I added undo as an action in the file manager integration.
And yes, you can undo an undo.