From: Daniele Sassoli Date: Tue, 26 Aug 2025 06:50:24 GMT Subject: Re: [PATCH v2] doc:clarify which remotes can be used when contributing Message-ID: <4cc62d0c-eff7-4d8b-8f30-28c7d9064ce4@gmail.com> In-Reply-To: On 25/08/2025 17:21, Junio C Hamano wrote: > Elijah Newren writes: > >> On Sat, Aug 23, 2025 at 2:12 AM Daniele Sassoli via GitGitGadget >> wrote: >>> From: Daniele Sassoli >>> >>> 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. Makes sense, thanks for your help. > >