On Tue, Sep 17, 2019 at 01:50:51PM -0700, Denton Liu wrote: [...] > > ---------------------------------------------------------------- > > 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. Sorry, my mistake. Turns out these were merged a couple of years ago in 90dbf226ba (Merge branch 'js/msgfmt-on-windows' of ../git-gui into js/git-gui-msgfmt-on-windows, 2017-07-25). > > > > > 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
