Re: git push default behaviour?
- From
Andreas Krey <a.krey@gmx.de>
- Date
- Mar 8, 2012, 19:03 UTC
- Message-ID
- <20120308190310.GA13486@inner.h.iocl.org>
- In-Reply-To
- <vpq1up3aqk8.fsf@bauges.imag.fr>
On Thu, 08 Mar 2012 19:35:51 +0000, Matthieu Moy wrote: ...
> If someone else did a push between my first push and the "push --force", > then the other user's push is discarded.
A push --semiforce would help here: Should check whether the remote branch is at the same commit as origin/master locally, and only then set to new local master. (Would probably require protocol change to actuall be atomic.)
Andreas
-- "Totally trivial. Famous last words." From: Linus Torvalds <torvalds@*.org> Date: Fri, 22 Jan 2010 07:29:21 -0800