Re: [PATCH] Add hotkey to toggle "Amend Last Commit" radio selector

2019-09-04 Thread Bert Wesarg
On Wed, Sep 4, 2019 at 7:36 PM Pratyush Yadav wrote: > > On 04/09/19 07:58AM, Birger Skogeng Pedersen wrote: > > Hi Pratyush, > > > > > > So how does this work? Should I email the patch that Bert has created? > > Or is it okay that it just remains on Github. (Considering the git > > mail archives)

Re: [PATCH] Add hotkey to toggle "Amend Last Commit" radio selector

2019-09-04 Thread Pratyush Yadav
On 04/09/19 07:58AM, Birger Skogeng Pedersen wrote: > Hi Pratyush, > > > So how does this work? Should I email the patch that Bert has created? > Or is it okay that it just remains on Github. (Considering the git > mail archives) I think it would be a good idea to send it on the list once before

Re: [PATCH] Add hotkey to toggle "Amend Last Commit" radio selector

2019-09-03 Thread Birger Skogeng Pedersen
Hi Pratyush, So how does this work? Should I email the patch that Bert has created? Or is it okay that it just remains on Github. (Considering the git mail archives) Birger

Re: [PATCH] Add hotkey to toggle "Amend Last Commit" radio selector

2019-09-03 Thread Bert Wesarg
Birger, On Tue, Sep 3, 2019 at 10:52 AM Bert Wesarg wrote: > > Birger, > > On Mon, Sep 2, 2019 at 9:56 PM Birger Skogeng Pedersen > wrote: > > > > Selecting whether to do a "New Commit" or "Amend Last Commit" does not have > > a hotkey. > > > > With this patch, the user may toggle between the tw

Re: [PATCH] Add hotkey to toggle "Amend Last Commit" radio selector

2019-09-03 Thread Bert Wesarg
David, On Tue, Sep 3, 2019 at 10:52 AM Bert Wesarg wrote: > > Birger, > > On Mon, Sep 2, 2019 at 9:56 PM Birger Skogeng Pedersen > wrote: > > > > Selecting whether to do a "New Commit" or "Amend Last Commit" does not have > > a hotkey. > > > > With this patch, the user may toggle between the two

Re: [PATCH] Add hotkey to toggle "Amend Last Commit" radio selector

2019-09-03 Thread Bert Wesarg
Birger, On Mon, Sep 2, 2019 at 9:56 PM Birger Skogeng Pedersen wrote: > > Selecting whether to do a "New Commit" or "Amend Last Commit" does not have > a hotkey. > > With this patch, the user may toggle between the two options with > CTRL/CMD+e. David A. (in Cc from git-cola) suggested, that we