trinity-devel@lists.pearsoncomputing.net

Message: previous - next
Month: September 2012

Revert GIT to a specific date

From: Darrell Anderson <humanreadable@...>
Date: Thu, 27 Sep 2012 15:57:54 -0700 (PDT)
What is the proper way to revert my local GIT repo to a specific date (commit)?

I want to modify the sources as they would have looked on a specific day.

I've read to run git reset --hard {HEAD} where {HEAD} is the commit to rest. Does that command truly reset the repo? That is does the command only reset indexes and leave the sources intact or are sources modified to that specific commit and all subsequent pulls are deleted?

I realize that resetting my local repo will mean a bandwidth hit when I restore everything. :)

Darrell