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