We definitely do for non-bare reverts for compat with core git.  You could start a revert with one and finish it with the other, for example.

Almost all of the `git_revert` function is for making the working directory happy and then calling `git_merge` with the appropriate sides.  I didn't provide any helper methods - if you will - for accomplishing a revert in the bare case, simply because it would almost be so tiny as to be worthless.  But I would be happy to provide such a method if you would provide me with a name for it.  ;)