Subject: Re: [PATCH v2] doc:clarify which remotes can be used when contributing

From: Junio C Hamano <[email-masked]>
Date: Mon, 25 Aug 2025 09:21:06 -0700

Elijah Newren <[email-masked]> writes:

> On Sat, Aug 23, 2025 at 2:12 AM Daniele Sassoli via GitGitGadget
> <[email-masked]> wrote:
>>
>> From: Daniele Sassoli <[email-masked]>
>>
>> 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.