Documentation: update the location of the git-gui repo

Signed-off-by: Pratyush Yadav <me@yadavpratyush.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>

Pratyush Yadav committed Oct 5, 2019 at 18:27 UTC 7d2f003ee41c59a74be25aaf3ded0c28db2fdc60
1 file changed +2 -8
Documentation/git-gui.txt
+2 -8
@@ -112,15 +112,9 @@ Other
112 versions are distributed as part of the Git suite for the convenience
113 of end users.
114
115 -A 'git gui' development repository can be obtained from:
115 +The official repository of the 'git gui' project can be found at:
116
117 - git clone git://repo.or.cz/git-gui.git
118 -
119 -or
120 -
121 - git clone http://repo.or.cz/r/git-gui.git
122 -
123 -or browsed online at http://repo.or.cz/w/git-gui.git/[].
117 + https://github.com/prati0100/git-gui.git/
118
119 GIT
120 ---