diff options
| author | Pratyush Yadav <me@yadavpratyush.com> | 2019-10-05 14:57:42 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-10-06 02:45:02 +0200 |
| commit | 7d2f003ee41c59a74be25aaf3ded0c28db2fdc60 (patch) | |
| tree | c64f29f5f80a5901f9e04c27d15201609f75dd63 /Documentation/git-gui.txt | |
| parent | SubmittingPatches: git-gui has a new maintainer (diff) | |
| download | git-7d2f003ee41c59a74be25aaf3ded0c28db2fdc60.tar.xz git-7d2f003ee41c59a74be25aaf3ded0c28db2fdc60.zip | |
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 '')
| -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 --- |