On Wed, May 07, 2008 at 09:12:27 +0200, Johannes Winkelmann wrote: [...] > > git-checkout $BRANCH > > There probably needs to be a revert before that which in git lingo is not git-revert but git-reset; something like
git-diff origin/2.4 -R git-reset --hard -q Should show what we're planning to do, and then get us back in the pristine state. Regards, Johannes -- Johannes Winkelmann mailto:[EMAIL PROTECTED] Zurich, Switzerland http://jw.smts.ch _______________________________________________ crux-devel mailing list crux-devel@lists.crux.nu http://lists.crux.nu/mailman/listinfo/crux-devel