diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:01:00 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:01:00 +0900 |
| commit | 82c80f98e6727aa4551235beb8ffa68985b83d93 (patch) | |
| tree | bcf156dad6c8796859cbad8c8b8f562e4ef5c65a | |
| parent | 6e12570822a904e2be554b05755c08f4d24be7e9 (diff) | |
| parent | 7d2f003ee41c59a74be25aaf3ded0c28db2fdc60 (diff) | |
Merge branch 'py/git-gui-has-maintainer'
Doc update.
* py/git-gui-has-maintainer:
Documentation: update the location of the git-gui repo
| -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 --- |