Elijah Newren <newren@xxxxxxxxx> writes: > On Sat, Aug 23, 2025 at 2:12 AM Daniele Sassoli via GitGitGadget > <gitgitgadget@xxxxxxxxx> wrote: >> >> From: Daniele Sassoli <danielesassoli@xxxxxxxxx> >> >> 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.
