Merge branch 'jc/git-gui-has-maintainer'

* jc/git-gui-has-maintainer: SubmittingPatches: git-gui has a new maintainer
luceliu · Oct 6, 2019 · 1a155f2 · 1a155f2
2 parents bc12974 + 253bfe4
commit 1a155f2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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: