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

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 5, 2019, 09:02 UTC
Message-ID: <xmqqr23r7egm.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20191004222956.12341-1-me@yadavpratyush.com>

Pratyush Yadav <me@yadavpratyush.com> writes:

Show 25 quoted lines

> 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.