Re: [GIT PULL] git-gui pull request

2019-09-18 Thread Junio C Hamano
Denton Liu writes: > Hi Pratyush, > > Since you're the maintainer now, you should submit a patch to > Documentation/SubmittingPatches to change > > - `git-gui/` comes from git-gui project, maintained by Pat Thoyts: > > git://repo.or.cz/git-gui.git > > to have your own informat

Re: [GIT PULL] git-gui pull request

2019-09-17 Thread Denton Liu
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 > > > >

Re: [GIT PULL] git-gui pull request

2019-09-17 Thread Denton Liu
Hi Pratyush, Since you're the maintainer now, you should submit a patch to Documentation/SubmittingPatches to change - `git-gui/` comes from git-gui project, maintained by Pat Thoyts: git://repo.or.cz/git-gui.git to have your own information. On Wed, Sep 18, 2019 at 01:

[GIT PULL] git-gui pull request

2019-09-17 Thread Pratyush Yadav
Hi Junio, There were some topics and discussion related to git-gui in flight. Most of them have been stabilized, and merged in. So I think it's a good time to pull in those changes. --- The following changes since commit 5ab72271e16ac23c269f5019a74a7b1d65170e47: Merge remote-tracking branch