On Thu, 16 Mar 2006, sean wrote:
$ git reset ORIG_HEAD
Ah, of course :). Thanks. regards, -- Paul Jakma paul@xxxxxxxx paul@xxxxxxxxx Key ID: 64A2FF6A Fortune: There's no such thing as pure pleasure; some anxiety always goes with it. - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html