Subject: Re: Git-GUI change of maintainership

From: Junio C Hamano <[email-masked]>
Date: Sat, 11 May 2024 14:29:46 -0700

Johannes Sixt <[email-masked]> writes:

> Thank you. Please consider the following as well.
>
> diff --git a/Documentation/git-gui.txt b/Documentation/git-gui.txt
> index e8f3ccb433..f5b02ef114 100644
> --- a/Documentation/git-gui.txt
> +++ b/Documentation/git-gui.txt
> @@ -114,7 +114,7 @@ of end users.
>  
>  The official repository of the 'git gui' project can be found at:
>  
> -  https://github.com/prati0100/git-gui.git/
> +  https://github.com/j6t/git-gui

Ah, that is part of my tree, not pulled from you via -Xsubtree.

Will do.  Thanks.