Hi, On Sun, 2 Mar 2008, Carlos Rica wrote: > On Sun, Mar 2, 2008 at 3:53 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Carlos Rica <jasampler@xxxxxxxxx> writes: > > > > > Signed-off-by: Carlos Rica <jasampler@xxxxxxxxx> > > > > Hmmm. "git reset -h" now defaults to --hard? > > > > It somehow feels a bit risky for new people. I dunno. > > > > Option -h just prints the options and exits. >From the original patch: + OPT_SET_INT(0, "hard", &reset_type, + "reset HEAD, index and working tree", HARD), It might be that I am misreading something, but I gather that Junio missed that there is no short option here. Junio, am I right? Ciao, Dscho -- To unsubscribe from this list: 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
