Re: git push (mis ?)behavior

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 3, 2007, 11:08 UTC
Message-ID: <7v8x6kfobq.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20071003104943.GA3017@diana.vm.bytemark.co.uk>

Karl Hasselström <kha@treskal.com> writes:

> So it all comes down to case (2) mistakes being much harder to fix
> than case (1) mistakes. Therefore, we should change the default, since
> doing so makes it safer.

I am not convinced.

I've seen many new people alias "rm" to "rm -i" for this (I'd say "false") reasoning to "default to safer", and end up training their fingers to say "y" without thinking.

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.

People also argue for "default per user". I am not really convinced on that point either.

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.