On 25/08/2025 17:21, Junio C Hamano wrote:
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.
Makes sense, thanks for your help.
