On Thu, Apr 19, 2007 at 03:34:01PM -0400, Jeff Garzik wrote: > David Brown wrote: > >>What is the easiest way to completely undo a pull, reverting the branch > >>to the HEAD present before the pull? > >> > > > >If the pull doesn't merge successfully then usually doing a `git-reset > >--hard` will blow everything away back to normal, but Linus may do > >different things. > > I'm thinking about a successful pull that one later regrets :)
git reset --hard ORIG_HEAD, if the pull is the last thing you did. Otherwise maybe fire up gitk, look for the point you'd like to revert to, and cut-n-paste the SHA1 ID to the git reset --hard commandline. --b. - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/