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

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