Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-18 Thread Junio C Hamano
Jeff King writes: > On Mon, Mar 18, 2019 at 09:48:42PM +, Thomas Gummerer wrote: > >> > It looks like GitGitGadget just uses normal SMTP to submit the messages. >> > I wonder if normal people using gmail as their SMTP server for >> > send-email also suffer from this. I've not ever noticed it,

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-18 Thread Ævar Arnfjörð Bjarmason
On Mon, Mar 18 2019, Jeff King wrote: > On Mon, Mar 18, 2019 at 11:52:54AM +0900, Junio C Hamano wrote: > >> Jeff King writes: >> >> > 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 secon

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-18 Thread Jeff King
On Mon, Mar 18, 2019 at 09:48:42PM +, Thomas Gummerer wrote: > > It looks like GitGitGadget just uses normal SMTP to submit the messages. > > I wonder if normal people using gmail as their SMTP server for > > send-email also suffer from this. I've not ever noticed it, but I > > don't know how

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-18 Thread Thomas Gummerer
On 03/18, Jeff King wrote: > On Mon, Mar 18, 2019 at 11:52:54AM +0900, Junio C Hamano wrote: > > > Jeff King writes: > > > > > 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

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-18 Thread Jeff King
On Mon, Mar 18, 2019 at 11:52:54AM +0900, Junio C Hamano wrote: > Jeff King writes: > > > 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:

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-17 Thread Junio C Hamano
Jeff King writes: > 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.gitgitgad...@gmail.com/ > > I do still thin

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-15 Thread Jeff King
On Fri, Mar 15, 2019 at 02:42:42PM +0100, Johannes Schindelin wrote: > Another thing that I always dreamed of having: GitGitGadget could > automatically warn about commit messages that are incomplete, that > disagree with our preferred format, that contain typos or offensive > language. > > Likew

Re: GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-15 Thread Jeff King
On Fri, Mar 15, 2019 at 05:28:08PM +0100, Ævar Arnfjörð Bjarmason wrote: > FWIW I'd love to see it on git/git for discoverability. From the rest of > your E-Mail it sounds like you're working on that. So just a +1. > > If that doesn't work for whatever reason maybe we can amend git.git with > thi

Re: GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-15 Thread Ævar Arnfjörð Bjarmason
On Fri, Mar 15 2019, Johannes Schindelin wrote: > Hi Peff, > > On Thu, 14 Mar 2019, Jeff King wrote: > >> On Thu, Mar 14, 2019 at 01:04:51PM +0100, Johannes Schindelin wrote: >> >> > > One thing that I think submitGit can do that GGG cannot (yet), is just >> > > take PRs straight on git/git. If

Re: GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-15 Thread Johannes Schindelin
Hi Peff, On Thu, 14 Mar 2019, Jeff King wrote: > On Thu, Mar 14, 2019 at 01:04:51PM +0100, Johannes Schindelin wrote: > > > > One thing that I think submitGit can do that GGG cannot (yet), is just > > > take PRs straight on git/git. If we're going to start recommending it, > > > then I think we'

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-15 Thread Johannes Schindelin
Hi Peff, On Thu, 14 Mar 2019, Jeff King wrote: > On Thu, Mar 14, 2019 at 12:31:21PM +0100, Johannes Schindelin wrote: > > > > 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 m

Re: GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-14 Thread Jeff King
On Thu, Mar 14, 2019 at 01:04:51PM +0100, Johannes Schindelin wrote: > > One thing that I think submitGit can do that GGG cannot (yet), is just > > take PRs straight on git/git. If we're going to start recommending it, > > then I think we'd probably want to configure that, since it's one less > >

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-14 Thread Jeff King
On Thu, Mar 14, 2019 at 12:31:21PM +0100, Johannes Schindelin wrote: > > 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

Re: GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-14 Thread Duy Nguyen
On Thu, Mar 14, 2019 at 7:06 PM Johannes Schindelin wrote: > If this is truly something we ("we" as in "engaged Git developers") want, > I can set aside some time to work on that. I had originally planned on > exactly that, i.e. supporting PRs on git/git, but I got rather strong > indications that

GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-14 Thread Johannes Schindelin
Hi Peff, On Tue, 12 Mar 2019, Jeff King wrote: > One thing that I think submitGit can do that GGG cannot (yet), is just > take PRs straight on git/git. If we're going to start recommending it, > then I think we'd probably want to configure that, since it's one less > confusing step for first-time

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-14 Thread Johannes Schindelin
Hi Peff, On Wed, 13 Mar 2019, Jeff King wrote: > On Wed, Mar 13, 2019 at 03:39:09PM -0400, Jeff King wrote: > > > On Wed, Mar 13, 2019 at 10:49:22AM +0900, Junio C Hamano wrote: > > > > > Jeff King writes: > > > > > > > infrequent contributors. And there are a few reasons to prefer GGG: > > >

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-13 Thread Junio C Hamano
Jeff King writes: > On Wed, Mar 13, 2019 at 10:49:22AM +0900, Junio C Hamano wrote: > >> Jeff King writes: >> >> > infrequent contributors. And there are a few reasons to prefer GGG: >> > >> > 1. submitGit seems to still have a few rough edges. E.g., it doesn't >> > munge timestamps to h

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-13 Thread Johannes Schindelin
Hi, On Wed, 13 Mar 2019, Jeff King wrote: > On Wed, Mar 13, 2019 at 10:49:22AM +0900, Junio C Hamano wrote: > > > Jeff King writes: > > > > > infrequent contributors. And there are a few reasons to prefer GGG: > > > > > > 1. submitGit seems to still have a few rough edges. E.g., it doesn't >

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-13 Thread Johannes Schindelin
Hi Roberto, On Tue, 12 Mar 2019, Roberto Tyley wrote: > On Tue, 12 Mar 2019 at 21:34, Jeff King wrote: > > > I feel a little bad sending this, because I really value the work that > > Roberto has done on submitGit. So just dropping it feels a bit > > dismissive. > > Oh, you're very kind, that'

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-13 Thread Jeff King
On Wed, Mar 13, 2019 at 03:39:09PM -0400, Jeff King wrote: > On Wed, Mar 13, 2019 at 10:49:22AM +0900, Junio C Hamano wrote: > > > Jeff King writes: > > > > > infrequent contributors. And there are a few reasons to prefer GGG: > > > > > > 1. submitGit seems to still have a few rough edges. E.

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-13 Thread Jeff King
On Wed, Mar 13, 2019 at 11:18:25AM +0900, Junio C Hamano wrote: > Junio C Hamano writes: > > > Jeff King writes: > > > >> -Nevertheless, you can use [submitGit](http://submitgit.herokuapp.com/) to > >> +Nevertheless, you can use [Git Git > >> Gadget](https://gitgitgadget.github.io/) to > > > >

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-13 Thread Jeff King
On Wed, Mar 13, 2019 at 10:49:22AM +0900, Junio C Hamano wrote: > Jeff King writes: > > > infrequent contributors. And there are a few reasons to prefer GGG: > > > > 1. submitGit seems to still have a few rough edges. E.g., it doesn't > > munge timestamps to help threaded mail readers han

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-13 Thread Jeff King
On Tue, Mar 12, 2019 at 11:08:00PM +, Roberto Tyley wrote: > On Tue, 12 Mar 2019 at 21:34, Jeff King wrote: > ... > > We could continue to mention _both_ tools, but it's probably better to > > pick one in order to avoid overwhelming the user with choice. After all, > > one of the purposes her

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-12 Thread Junio C Hamano
Junio C Hamano writes: > Jeff King writes: > >> -Nevertheless, you can use [submitGit](http://submitgit.herokuapp.com/) to >> +Nevertheless, you can use [Git Git Gadget](https://gitgitgadget.github.io/) >> to > > The pointed-at page calls the tool a single word with three capital > Gs without S

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-12 Thread Junio C Hamano
Jeff King writes: > -Nevertheless, you can use [submitGit](http://submitgit.herokuapp.com/) to > +Nevertheless, you can use [Git Git Gadget](https://gitgitgadget.github.io/) > to The pointed-at page calls the tool a single word with three capital Gs without SP in it. We should match it here an

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-12 Thread Junio C Hamano
Jeff King writes: > infrequent contributors. And there are a few reasons to prefer GGG: > > 1. submitGit seems to still have a few rough edges. E.g., it doesn't > munge timestamps to help threaded mail readers handled out-of-order > delivery. Hmph, I had an impression that the recent

Re: [RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-12 Thread Roberto Tyley
On Tue, 12 Mar 2019 at 21:34, Jeff King wrote: ... > We could continue to mention _both_ tools, but it's probably better to > pick one in order to avoid overwhelming the user with choice. After all, > one of the purposes here is to reduce friction for first-time or > infrequent contributors. And t

[RFC/PATCH] point pull requesters to Git Git Gadget

2019-03-12 Thread Jeff King
In the contributing guide and PR template seen by people who open pull requests on GitHub, we mention the submitGit tool, which gives an alternative to figuring out the mailing list. These days we also have the similar Git Git Gadget tool, and we should make it clear that this is also an option. W