diff options
author | Pratyush Yadav <me@yadavpratyush.com> | 2019-10-05 15:57:42 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-06 03:45:02 +0300 |
commit | 7d2f003ee41c59a74be25aaf3ded0c28db2fdc60 (patch) | |
tree | c64f29f5f80a5901f9e04c27d15201609f75dd63 /Documentation/git-gui.txt | |
parent | 253bfe49bd84bfa2ddf70ab63e1ef4d449630a40 (diff) |
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>
Diffstat (limited to 'Documentation/git-gui.txt')
-rw-r--r-- | Documentation/git-gui.txt | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/Documentation/git-gui.txt b/Documentation/git-gui.txt index 5f93f8003d..c9d7e96214 100644 --- a/Documentation/git-gui.txt +++ b/Documentation/git-gui.txt @@ -112,15 +112,9 @@ Other versions are distributed as part of the Git suite for the convenience of end users. -A 'git gui' development repository can be obtained from: +The official repository of the 'git gui' project can be found at: - git clone git://repo.or.cz/git-gui.git - -or - - git clone http://repo.or.cz/r/git-gui.git - -or browsed online at http://repo.or.cz/w/git-gui.git/[]. + https://github.com/prati0100/git-gui.git/ GIT --- |