diff options
| author | Daniele Sassoli <danielesassoli@gmail.com> | 2025-08-23 09:12:11 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2025-08-25 09:17:25 -0700 |
| commit | 37001cdbc4e0cc1a1dbffdb0d07ce1bd3533f2a9 (patch) | |
| tree | afc689ac8bb986303ca92fa55c9e9d3cc13c1db5 /t/t4013/diff.diff-tree_--cc_--patch-with-stat_master | |
| parent | 47243eeed1749662e7c62d879d451a9383a25158 (diff) | |
doc: clarify which remotes can be used with GitGitGadget
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.
Clarify that both gitgitgadget/git and git/git can be used, albeit with
some differences.
Signed-off-by: Daniele Sassoli <danielesassoli@gmail.com>
Acked-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff-tree_--cc_--patch-with-stat_master')
0 files changed, 0 insertions, 0 deletions