Re: git push (mis ?)behavior

From: Wincent Colaiuta <win@wincent.com>
Date: Oct 3, 2007, 11:22 UTC
Message-ID: <3F8729D3-CC5E-478A-80E0-C199C7A1770C@wincent.com>
In-Reply-To: <7v8x6kfobq.fsf@gitster.siamese.dyndns.org>

El 3/10/2007, a las 13:08, Junio C Hamano escribió:

> Also mistakes can cut both ways.  Pushing out what you did not
> intend to is what you seem to be worried about more.  But not
> pushing out enough and not noticing is an equally bad mistake.

I don't think they're of the same order. If you mistakenly push out too little you can easily correct it by pushing again. But what do you do if you push out too much? How do you fix that?

Show 7 quoted lines

> You, an expert, will get asked for help by somebody, walk up to
> his shell prompt, and try to help and teach him by showing you
> type, and then you suddenly notice the command does not work as
> you expect because he set the default differently (because he
> read that configuration option on some web parge).  And we will
> be in such a cumbersome to diagnose situation _very_ often if we
> have per-user default on many things.

True, true.

Cheers, Wincent