Re: [GIT PULL] git-gui changes for v2.29

From: Pratyush Yadav <me@yadavpratyush.com>
Date: Oct 19, 2020, 08:19 UTC
Message-ID: <20201019081944.l45a4mskjg5qvwqc@yadavpratyush.com>
In-Reply-To: <xmqqmu0k8vej.fsf@gitster.c.googlers.com>

On 17/10/20 01:11PM, Junio C Hamano wrote:

Show 10 quoted lines

> Pratyush Yadav <me@yadavpratyush.com> writes:
> 
> > Junio,
> >
> > Please pull in the changes in git-gui for v2.29. 
> 
> OK, thanks.  Pulled but not pushed out (yet).
> 
> By the way, next time we might want to arrange subsystem pulls a bit
> sooner than immediately before the final---what do you think?

Ok. I'll send the PR by -rc0 or -rc1 next time.

Show 30 quoted lines

> > The following changes since commit 
> > 469725c1a3d44f7e1475f1d37cd13e0824d4ea41:
> >
> >   Merge branch 'mt/open-worktree' (2020-06-22 20:23:28 +0530)
> >
> > are available in the Git repository at:
> >
> >   https://github.com/prati0100/git-gui.git 
> >
> > for you to fetch changes up to 38c2ac2e2ab00a8bcef528f24cb5b883b4413e5c:
> >
> >   Merge branch 'sh/blame-tooltip' (2020-10-17 15:05:27 +0530)
> >
> > ----------------------------------------------------------------
> > Pratyush Yadav (3):
> >       Merge branch 'st/spaces-tabs-cleanup' into master
> >       Merge branch 'st/dark-mode' into master
> >       Merge branch 'sh/blame-tooltip'
> >
> > Serg Tereshchenko (2):
> >       git-gui: fix mixed tabs and spaces; prefer tabs
> >       git-gui: improve dark mode support
> >
> > Stefan Haller (1):
> >       git-gui: blame: prevent tool tips from sticking around after Command-Tab
> >
> >  git-gui.sh     | 103 ++++++++++++++++++++++++++++++---------------------------
> >  lib/blame.tcl  |   1 +
> >  lib/themed.tcl |  38 +++++++++++++++++++++
> >  3 files changed, 93 insertions(+), 49 deletions(-)

-- 
Regards,
Pratyush Yadav