Re: [GIT PULL] git-gui pull request

> > ----------------------------------------------------------------
> > Bert Wesarg (2):
> >       git-gui: convert new/amend commit radiobutton to checkbutton
> >       git-gui: add horizontal scrollbar to commit buffer
> > 
> > Birger Skogeng Pedersen (2):
> >       git-gui: add hotkeys to set widget focus
> >       git-gui: add hotkey to toggle "Amend Last Commit"
> > 
> > Pratyush Yadav (9):
> >       git-gui: allow reverting selected lines
> >       git-gui: allow reverting selected hunk
> >       git-gui: return early when patch fails to apply
> >       git-gui: allow undoing last revert
> >       Merge branch 'bp/widget-focus-hotkeys'
> >       Merge branch 'py/revert-hunks-lines'
> >       Merge branch 'bw/amend-checkbutton'
> >       Merge branch 'bw/commit-scrollbuffer'
> >       Merge branch 'bp/amend-toggle-bind'
> 
> Seems like this list is missing
> 
> 	Pat Thoyts (1):
> 		  Merge remote-tracking branch 'philoakley/dup-gui'
> 
> 	Philip Oakley (4):
> 		  git-gui: remove duplicate entries from .gitconfig's gui.recentrepo
> 		  git gui: cope with duplicates in _get_recentrepo
> 		  git gui: de-dup selected repo from recentrepo history
> 		  git gui: allow for a long recentrepo list
> 
> which should be in your PR but aren't in mainline Git yet.

> 
> > 
> >  git-gui.sh          | 140 ++++++++++++++++++++++++++++++++++++++++------------
> >  lib/checkout_op.tcl |   6 +--
> >  lib/commit.tcl      |   4 +-
> >  lib/diff.tcl        |  96 +++++++++++++++++++++++++++++------
> >  lib/index.tcl       |   8 +--
> >  5 files changed, 199 insertions(+), 55 deletions(-)
> > 
> > -- 
> > Regards,
> > Pratyush Yadav