Re: pw/add-p-select, was Re: What's cooking in git.git (Dec 2018, #01; Sun, 9)

2019-01-22 Thread Phillip Wood
Hi Dscho On 21/01/2019 20:58, Johannes Schindelin wrote: Hi Phillip, On Tue, 11 Dec 2018, Phillip Wood wrote: On 11/12/2018 09:56, Johannes Schindelin wrote: On Mon, 10 Dec 2018, Phillip Wood wrote: On 09/12/2018 20:31, Johannes Schindelin wrote: I could imagine, however, that it would

Re: pw/add-p-select, was Re: What's cooking in git.git (Dec 2018, #01; Sun, 9)

2019-01-21 Thread Johannes Schindelin
Hi Phillip, On Tue, 11 Dec 2018, Phillip Wood wrote: > On 11/12/2018 09:56, Johannes Schindelin wrote: > > > On Mon, 10 Dec 2018, Phillip Wood wrote: > > > > > On 09/12/2018 20:31, Johannes Schindelin wrote: > > > > > > > I could imagine, however, that it would make sense for `git add > > > >

Re: pw/add-p-select, was Re: What's cooking in git.git (Dec 2018, #01; Sun, 9)

2018-12-11 Thread Phillip Wood
Hi Dscho and Slavica On 11/12/2018 09:56, Johannes Schindelin wrote: Hi Phillip, [Cc:ing Slavica, the Outreachy intern working on converting `add -i` to a built-in] On Mon, 10 Dec 2018, Phillip Wood wrote: On 09/12/2018 20:31, Johannes Schindelin wrote: (which I take as being inspired

Re: pw/add-p-select, was Re: What's cooking in git.git (Dec 2018, #01; Sun, 9)

2018-12-11 Thread Johannes Schindelin
Hi Phillip, [Cc:ing Slavica, the Outreachy intern working on converting `add -i` to a built-in] On Mon, 10 Dec 2018, Phillip Wood wrote: > On 09/12/2018 20:31, Johannes Schindelin wrote: > > > > On Sun, 9 Dec 2018, Junio C Hamano wrote: > > > > > * pw/add-p-select (2018-07-26) 4 commits > > >

Re: pw/add-p-select, was Re: What's cooking in git.git (Dec 2018, #01; Sun, 9)

2018-12-10 Thread Phillip Wood
Hi Dscho On 09/12/2018 20:31, Johannes Schindelin wrote: Hi Junio, On Sun, 9 Dec 2018, Junio C Hamano wrote: * pw/add-p-select (2018-07-26) 4 commits - add -p: optimize line selection for short hunks - add -p: allow line selection to be inverted - add -p: select modified lines correctly

pw/add-p-select, was Re: What's cooking in git.git (Dec 2018, #01; Sun, 9)

2018-12-09 Thread Johannes Schindelin
Hi Junio, On Sun, 9 Dec 2018, Junio C Hamano wrote: > * pw/add-p-select (2018-07-26) 4 commits > - add -p: optimize line selection for short hunks > - add -p: allow line selection to be inverted > - add -p: select modified lines correctly > - add -p: select individual hunk lines > > "git ad