From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 25 Aug 2025 16:21:06 GMT
Subject: Re: [PATCH v2] doc:clarify which remotes can be used when contributing
Message-ID: <xmqqtt1vs77x.fsf@gitster.g>
In-Reply-To: <CABPp-BHCQjFtpr8meUqhGEiTgsqZ9KTWcpLYA8yEPUsCAceAGg@mail.gmail.com>

Elijah Newren <newren@gmail.com> writes:

> On Sat, Aug 23, 2025 at 2:12 AM Daniele Sassoli via GitGitGadget
> <gitgitgadget@gmail.com> wrote:
>>
>> From: Daniele Sassoli <danielesassoli@gmail.com>
>>
>> The docs mostly point to using git/git as one's remote, however, when it
>> comes to Sending a PR to GitGitGadget section, the reader is told to use
>> gitgitgadget/git, with no mention of git/git, potentially leading to
>> some confusion.
>> ...
>
> This version looks good to me; thanks!

Thanks both.  I'll queue it after reritling.

> doc: clarify which remotes can be used with GitGitGadget

The only reason why you need to even "use" remote is because you are
using GGG; othrewise you would not even be using any when sending
your contribution in, so "when contributing" somewhat misses the
point.