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 /Documentation | |
parent | Merge branch 'ah/cleanups' (diff) | |
parent | Documentation: update the location of the git-gui repo (diff) | |
download | tgif-82c80f98e6727aa4551235beb8ffa68985b83d93.tar.xz |
Merge branch 'py/git-gui-has-maintainer'
Doc update.
* py/git-gui-has-maintainer:
Documentation: update the location of the git-gui repo
Diffstat (limited to 'Documentation')
-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 --- |