Re: [PATCH v6 17/21] range-diff: populate the man page

2018-10-02 Thread Johannes Schindelin
Hi Peff, On Mon, 10 Sep 2018, Jeff King wrote: > On Sun, Sep 09, 2018 at 07:19:51PM +0200, Ævar Arnfjörð Bjarmason wrote: > > > >> And then I turn that into: > > >> > > >> # @{u} because I happen to be on 'master' and it's shorter to type > > >> # than origin/master... > > >> git

Re: [PATCH v6 17/21] range-diff: populate the man page

2018-09-10 Thread Junio C Hamano
Ævar Arnfjörð Bjarmason writes: > Looking at the git-range-diff manpage though it recommends > over ... when the topic has been rebased, which is > usually the case for e.g. a topic that's submitted to git.git (usually > be the time feedback has been gathered & a re-submission has been made >

Re: [PATCH v6 17/21] range-diff: populate the man page

2018-09-10 Thread Jeff King
On Sun, Sep 09, 2018 at 07:19:51PM +0200, Ævar Arnfjörð Bjarmason wrote: > >> And then I turn that into: > >> > >> # @{u} because I happen to be on 'master' and it's shorter to type > >> # than origin/master... > >> git range-diff @{u} 38b5f0fe72...718fbdedbc > > > > I don't

Re: [PATCH v6 17/21] range-diff: populate the man page

2018-09-09 Thread Ævar Arnfjörð Bjarmason
On Sun, Sep 09 2018, SZEDER Gábor wrote: > On Sun, Sep 09, 2018 at 01:14:25PM +0200, Ævar Arnfjörð Bjarmason wrote: >> >> On Mon, Aug 13 2018, Johannes Schindelin via GitGitGadget wrote: >> >> I realize this topic has long since landed, just seemed like a good >> thing to reply to to ask this

Re: [PATCH v6 17/21] range-diff: populate the man page

2018-09-09 Thread SZEDER Gábor
On Sun, Sep 09, 2018 at 01:14:25PM +0200, Ævar Arnfjörð Bjarmason wrote: > > On Mon, Aug 13 2018, Johannes Schindelin via GitGitGadget wrote: > > I realize this topic has long since landed, just seemed like a good > thing to reply to to ask this question: > > > [...] > > + ( | ... |) >

Re: [PATCH v6 17/21] range-diff: populate the man page

2018-09-09 Thread Ævar Arnfjörð Bjarmason
On Mon, Aug 13 2018, Johannes Schindelin via GitGitGadget wrote: I realize this topic has long since landed, just seemed like a good thing to reply to to ask this question: > [...] > + ( | ... |) > [...] > + :: > + Compare the commits specified by the two ranges, where > + ``

[PATCH v6 17/21] range-diff: populate the man page

2018-08-13 Thread Johannes Schindelin via GitGitGadget
From: Johannes Schindelin The bulk of this patch consists of a heavily butchered version of tbdiff's README written by Thomas Rast and Thomas Gummerer, lifted from https://github.com/trast/tbdiff. Signed-off-by: Johannes Schindelin --- Documentation/git-range-diff.txt | 229