Hi,

On Thu, 21 Feb 2008, Steven Walter wrote:

quoted text
> On Wed, Feb 20, 2008 at 03:38:31PM +0000, Johannes Schindelin wrote:
> > That depends awfully on your definition of "safe".
> > 
> > I, for one, hate the idea already, that I am "safe" when "git push" 
> > does not do the thing I asked it to, and which it has done for a 
> > couple of years now without complaint, and which I have gotten used 
> > to.
> > 
> > And then, there will be a great confusion for me, since I work on 5 
> > different machines on an average day, with 5 different git versions, 
> > and having different config settings.
> 
> Which is worse: pushing more refs than you intended (requiring rewinding 
> refs on a repository that other people may pull from), or pushing fewer 
> refs than you intended, requiring you to run the command a second time? 

Sorry to say, but I find this argumentation lacking.

Is it worse to suffer, or is it worse to suffer?  We should try to make it 
_safe_ not "less painful, but still painful nevertheless".

Hth,
Dscho

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html