git-revert-to: use porcelain