diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-10-06 12:25:15 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-06 12:25:15 +0900 |
commit | 1a155f2e664b6b653dd326aa793bab1635c24490 (patch) | |
tree | a80be64c5b0d7e58f72bd82e8efbf01e2ec9ce28 /Documentation/SubmittingPatches | |
parent | Fourth batch (diff) | |
parent | SubmittingPatches: git-gui has a new maintainer (diff) | |
download | tgif-1a155f2e664b6b653dd326aa793bab1635c24490.tar.xz |
Merge branch 'jc/git-gui-has-maintainer'
* jc/git-gui-has-maintainer:
SubmittingPatches: git-gui has a new maintainer
Diffstat (limited to 'Documentation/SubmittingPatches')
-rw-r--r-- | Documentation/SubmittingPatches | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/SubmittingPatches b/Documentation/SubmittingPatches index 6d589e118c..1a60cc1329 100644 --- a/Documentation/SubmittingPatches +++ b/Documentation/SubmittingPatches @@ -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: |