From: Paolo Bonzini <bonzini@gnu.org>
Date: Tue, 27 May 2008 20:17:08 GMT
Subject: Re: Reverting to old commit
Message-ID: <483C6C44.1010304@gnu.org>
In-Reply-To: <483C68E5.1040408@dirk.my1.cc>


> Then gitk's "reset ... branch to here" could help you. Right-click
> the desired commit and reset the branch.

DON'T do this though if you have published the branch somewhere.

Do "git-revert -n" on all the commits after the buggy one in that case, 
starting from the last, then "git commit".

Paolo