Re: [PATCH 3/4] git-commit-graph.txt: refer to "*commit* graph file"

2018-09-20 Thread Derrick Stolee
On 9/20/2018 9:38 AM, Martin Ågren wrote: On Thu, 20 Sep 2018 at 14:50, Derrick Stolee wrote: On 9/19/2018 12:30 PM, Martin Ågren wrote: The full name, by the way, is not the "commit-graph file" with a dash, cf. the synopsis. Use the dashless form. (The next commit will fix the remaining few

Re: [PATCH 3/4] git-commit-graph.txt: refer to "*commit* graph file"

2018-09-20 Thread Martin Ågren
On Thu, 20 Sep 2018 at 14:50, Derrick Stolee wrote: > > On 9/19/2018 12:30 PM, Martin Ågren wrote: > > The full name, by the way, is not the "commit-graph file" with a dash, > > cf. the synopsis. Use the dashless form. (The next commit will fix the > > remaining few instances of the "commit-graph

Re: [PATCH 3/4] git-commit-graph.txt: refer to "*commit* graph file"

2018-09-20 Thread Derrick Stolee
On 9/19/2018 12:30 PM, Martin Ågren wrote: This document sometimes refers to the "commit graph file" as just "the graph file". This saves a couple of words here and there at the risk of confusion. In particular, the documentation for `git commit-graph read` appears to suggest that there are

[PATCH 3/4] git-commit-graph.txt: refer to "*commit* graph file"

2018-09-19 Thread Martin Ågren
This document sometimes refers to the "commit graph file" as just "the graph file". This saves a couple of words here and there at the risk of confusion. In particular, the documentation for `git commit-graph read` appears to suggest that there are indeed different types of graph files. Let's