Re: [GIT PULL] gitk update

[Paul Mackerras <paulus@ozlabs.org>]

On Sat, Oct 03, 2020 at 10:04:28AM -0700, Junio C Hamano wrote:
> Paul Mackerras <paulus@ozlabs.org> writes:
> 
> > Hi Junio,
> >
> > Whenever it's convenient for you, please do a pull from my gitk
> > repository at git://ozlabs.org/~paulus/gitk.git to get 6 commits
> > updating gitk.
> >
> > Thanks,
> > Paul.
> 
> Will do.  Are these the six you mentioned, or am I missing some
> other commits?
> 
>     $ git log --first-parent --oneline ..paulus/master
>     6cd80496e9 gitk: Resize panes correctly when reducing window size
>     e244588eb6 gitk: replace tabs with spaces
>     a99bc27aec gitk: fix the context menu not appearing in the presence of submodule diffs
>     2faa6cdc5e gitk: Un-hide selection in areas with non-default background color
>     113ce1243f gitk: add diff lines background colors
>     e272a77964 gitk: be prepared to be run in a bare repository
>     c1a63459ed gitk: Preserve window dimensions on exit when not using ttk themes
>     f177c49a97 gitk: don't highlight files after submodules as submodules
>     d4247e0602 gitk: fix branch name encoding error
>     b8b60957ce gitk: rename "commit summary" to "commit reference"

Yes, that's right.  Obviously it's longer since I sent you a pull
request than I had thought.

Thanks,
Paul.