Re: Git push race condition?

On Tue, Mar 25, 2014 at 10:57 AM, Jeff King wrote: > On Tue, Mar 25, 2014 at 09:45:20AM -0400, Scott Sandler wrote: > >> Version of git on the server? git version 1.8.3-rc0 > > There was significant work done between v1.8.3 and v1.8.4 on handling > races in the ref code. As I

Re: Git push race condition?

xplicitly just to be sure it's not force pushes, and see if it still happens. If anyone has other ideas of things to look into or test, let me know. Thanks, Scott On Tue, Mar 25, 2014 at 10:03 AM, Matthieu Moy wrote: > Scott Sandler writes: > >> Is there a hook or cron job that

Re: Git push race condition?

rejects my attempted force pushes to master. On Mon, Mar 24, 2014 at 6:59 PM, Nasser Grainawi wrote: > On Mar 24, 2014, at 4:54 PM, Jeff King wrote: > >> On Mon, Mar 24, 2014 at 03:18:14PM -0400, Scott Sandler wrote: >> >>> I've noticed that a few times in the p

Re: Git push race condition?

, Ævar Arnfjörð Bjarmason wrote: > On Mon, Mar 24, 2014 at 8:18 PM, Scott Sandler > wrote: >> I run a private Git repository (using Gitlab) with about 200 users >> doing about 100 pushes per day. > > Ditto but about 2x those numbers. > >> e

Re: Git push race condition?

esting I did with the sleep hook it didn't seem like the hooks were actually the problem. On Mon, Mar 24, 2014 at 3:44 PM, Matthieu Moy wrote: > Scott Sandler writes: > >> Both pushes are >> determined to be fast-forwards and both succeed, but B' overwrites B >>

Git push race condition?

Hi folks, I run a private Git repository (using Gitlab) with about 200 users doing about 100 pushes per day. I've noticed that a few times in the past several weeks, we've had events where pushes have been lost when two people pushed at just about the same time. The scenario is that two users bot