From: Steffen Prohaska <prohaska@zib.de>
Date: Sat, 09 Feb 2008 10:53:22 GMT
Subject: Re: Minor annoyance with git push
Message-ID: <6B804F0D-9C3B-46F3-B922-7A5CBEF55522@zib.de>
In-Reply-To: <20080209030046.GA10470@coredump.intra.peff.net>


On Feb 9, 2008, at 4:00 AM, Jeff King wrote:

>
> I really think that Steffen's "default to pushing only the current
> branch" approach fits much better with the model described in your
> workflow, and is generally a safer default. IIRC, the main  
> objection was
> that old-timers like the current push behavior better. Steffen, was
> there objection to a "push.onlyHEAD" config option?

There might have been an argument like: We should have a single
default because otherwise the behaviour of git depends on the
local configuration of the user.  This may cause even more
confusion than it tries to solve, because now you always need
to start first talking about the local configuration of the
users before you can start explaining how to actually solve the
problem.

Personally, I decided it is safer to teach users to explicitly
type what they mean.  I'd probably not use the push.onlyHEAD
config option.

I also proposed that the default could do nothing if no explicit
push lines are in the configuration file.  Users would be forced
to explicitly type what the want: Either they can say "--matching"
or they can say "--current".  This is similar to the new
"git clean" default.  But I remember there *was* objection against
this because everyone would be forced to type more and different
than "git clean" the default of "git push" is considered "safe",
so there's no need to protect the user from "git push".

Junio proposed various possible changes to the configuration
variables that could resolve the issues.  I do not remember the
details.

	Steffen