diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:55:30 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:55:30 +0900 |
| commit | 48cd3f1251acf31e83d2e59ddf2176aa8e84290c (patch) | |
| tree | 56769f5f3a65e8ce06b8eaa6f1b8bb795c8c6434 /SubmittingPatches.txt | |
| parent | a8858316fb3186e69d324183d9af58ef55dfb794 (diff) | |
| download | git-htmldocs-48cd3f1251acf31e83d2e59ddf2176aa8e84290c.tar.gz | |
Autogenerated HTML docs for v2.23.0-526-g70bf0
Diffstat (limited to 'SubmittingPatches.txt')
| -rw-r--r-- | SubmittingPatches.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/SubmittingPatches.txt b/SubmittingPatches.txt index 6d589e118..1a60cc132 100644 --- a/SubmittingPatches.txt +++ b/SubmittingPatches.txt @@ -372,9 +372,9 @@ such as "Thanks-to:", "Based-on-patch-by:", or "Mentored-by:". Some parts of the system have dedicated maintainers with their own repositories. -- `git-gui/` comes from git-gui project, maintained by Pat Thoyts: +- `git-gui/` comes from git-gui project, maintained by Pratyush Yadav: - git://repo.or.cz/git-gui.git + https://github.com/prati0100/git-gui.git - `gitk-git/` comes from Paul Mackerras's gitk project: |