Re: [RFC/PATCH] point pull requesters to Git Git Gadget
- From
Jeff King <peff@peff.net>
- Date
- Mar 15, 2019, 03:19 UTC
- Message-ID
- <20190315031948.GD28943@sigill.intra.peff.net>
- In-Reply-To
- <nycvar.QRO.7.76.6.1903141228510.41@tvgsbejvaqbjf.bet>
On Thu, Mar 14, 2019 at 12:31:21PM +0100, Johannes Schindelin wrote:
Show 11 quoted lines
> > Hmm. I guess it is still an issue in GGG. This thread has identical > > timestamps on patches 1 and 2 (and my server received them out of order > > by 2 seconds, so mutt orders them wrong): > > > > https://public-inbox.org/git/pull.163.git.gitgitgadget@gmail.com/ > > > > I do still think GGG has a more feasible path forward on this particular > > bug, though. > > Indeed. And it is a bug^Wfeature of GMail, I guess, that it knows better > and ignores the Date: header of the mbox fed to it.
Heh. So it in fact has the identical problem that submitGit and SES have. :)
> The only workaround I can think of is to introduce ugly one-second-sleeps. > I will do that if it proves necessary, but I do have a problem right now > because my only GitGitGadget reviewer (Stolee) is kinda busy with other > things for the time being.
I suspect that may be the ultimate solution. Which isn't fantastic, but at the same time, I doubt anybody would really notice that much. There are typically delays of seconds to minutes already in delivering email. Unless somebody has a 200 patch series, but maybe then it is kinder to the receivers to let it trickle in. ;)
-Peff