Re: [PATCH v5] git gui: add directly calling merge tool from configuration

From: Johannes Sixt <j6t@kdbg.org>
Date: Nov 7, 2024, 16:43 UTC
Message-ID: <8228ce55-0603-4cc2-9cea-d65a3caa5ef0@kdbg.org>
In-Reply-To: <AS2PR08MB828858E352C40E3488B1F5D0E15C2@AS2PR08MB8288.eurprd08.prod.outlook.com>

Am 07.11.24 um 15:16 schrieb tobias.boesch@miele.com:

> The documentation (https://git-scm.com/docs/ 
> MyFirstContribution#after-approval) says that my "change will be 
> placed into seen fairly early on by the maintainer while it is still 
> in the review process".

This document is only about contributions to git.git. Git-GUI has its own repository and workflow.

> Since I cannot find it in seen or anywhere else, I wonder if there
> is something wrong, if it just takes a little longer than I expected
> it to be merged or if this change is merged somewhere else.

There is nothing wrong, except that it's on me now to submit a pull request to the Git maintainer. This should happen in the next days.

-- Hannes