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

[Junio C Hamano <gitster@pobox.com>]

Pratyush Yadav <me@yadavpratyush.com> writes:

> Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
> ---
>  Documentation/git-gui.txt | 8 ++------
>  1 file changed, 2 insertions(+), 6 deletions(-)
>
> diff --git a/Documentation/git-gui.txt b/Documentation/git-gui.txt
> index 5f93f8003d..98337b69f1 100644
> --- a/Documentation/git-gui.txt
> +++ b/Documentation/git-gui.txt
> @@ -114,13 +114,9 @@ of end users.
>  
>  A 'git gui' development repository can be obtained from:
>  
> -  git clone git://repo.or.cz/git-gui.git
> +  git clone https://github.com/prati0100/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/[].
> +or browsed online at https://github.com/prati0100/git-gui[].
>  
>  GIT
>  ---




These days, unlike back when the original of this manpage was
written, we can expect far more people know Git, GitHub and what to
do with it when they see a GitHub URL to a repository.  Hence, a
single GitHub repository URL is sufficient, without "git clone" or
mention of "browsed online", I would think.

IOW, all of the above can now be just two lines, e.g.

	The official repository of `git gui` project can be found at
	https://github.com/prati0100/git-gui.git/

Thanks.