Merge branch 'jc/git-gui-has-maintainer'
authorJunio C Hamano <gitster@pobox.com>
Sun, 6 Oct 2019 03:25:15 +0000 (12:25 +0900)
committerJunio C Hamano <gitster@pobox.com>
Sun, 6 Oct 2019 03:25:15 +0000 (12:25 +0900)
* jc/git-gui-has-maintainer:
  SubmittingPatches: git-gui has a new maintainer

Documentation/SubmittingPatches

index 6d589e1..1a60cc1 100644 (file)
@@ -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: