Hi, On Thu, 21 Feb 2008, Steven Walter wrote: > 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@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
