On 17/10/20 01:11PM, Junio C Hamano wrote: > Pratyush Yadav <me@xxxxxxxxxxxxxxxxx> 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. > > 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
