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

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 25, 2025, 16:21 UTC
Message-ID: <xmqqtt1vs77x.fsf@gitster.g>
In-Reply-To: <CABPp-BHCQjFtpr8meUqhGEiTgsqZ9KTWcpLYA8yEPUsCAceAGg@mail.gmail.com>

Elijah Newren <newren@gmail.com> writes:

Show 12 quoted lines

> 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.