Re: Minor annoyance with git push
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Feb 22, 2008, 00:11 UTC
- Message-ID
- <alpine.LSU.1.00.0802220010260.17164@racer.site>
- In-Reply-To
- <20080221223549.GA26266@dervierte>
Hi,
On Thu, 21 Feb 2008, Steven Walter wrote:
Show 15 quoted lines
> 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