Puzzled a bit :-/

> There is no explicit interface for reverting edits. Most of us use `git revert`. --[[Joey]]