7 May
2008
7 May
'08
7:29 a.m.
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:jw@smts.ch Zurich, Switzerland http://jw.smts.ch