Re: git reset --hard w/o touching every file

On Sat, Nov 01, 2008 at 04:48:38AM +0000, Edward Z. Yang wrote:

I was wondering if there was any way to run `git reset --hard $revlike`,
or a command with the same effect, without having Git touch every file?

git checkout HEAD -- <list of the files>

-- 
·O·  Pierre Habouzit
··O                                                madcoder@debian.org
OOO                                                http://www.madism.org