[PATCH v2] Documentation: update the location of the git-gui repo

From: Pratyush Yadav <me@yadavpratyush.com>
Date: Oct 5, 2019, 12:57 UTC
Message-ID: <20191005125742.3753-1-me@yadavpratyush.com>
In-Reply-To: <20191004222956.12341-1-me@yadavpratyush.com>

Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
---

Changes in v2:
- Only link the repo, instead of having instructions to "clone" and
  "browse online".

Do note that I am using single quotes around git gui instead of backticks like you suggested because the rest of the man page does the same.

Interdiff against v1:
  diff --git a/Documentation/git-gui.txt b/Documentation/git-gui.txt
  index 98337b69f1..c9d7e96214 100644
  --- a/Documentation/git-gui.txt
  +++ b/Documentation/git-gui.txt
  @@ -112,11 +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 https://github.com/prati0100/git-gui.git
  -
  -or browsed online at https://github.com/prati0100/git-gui[].
  +  https://github.com/prati0100/git-gui.git/

   GIT
   ---

 Documentation/git-gui.txt | 10 ++--------
 1 file 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
 ---
--
2.21.0