git-checkout: revert specific paths to either index or a given tree-ish.