Re: [PATCH 2/5] repo-settings: add feature.manyCommits setting

2019-07-24 Thread Derrick Stolee
On 7/23/2019 10:53 AM, Johannes Schindelin wrote: > Hi Stolee, > > On Mon, 22 Jul 2019, Derrick Stolee via GitGitGadget wrote: > >> From: Derrick Stolee >> >> When a repo has many commits, it is helpful to write and read the >> commit-graph file. Future changes to Git may include new config >> s

Re: [PATCH 2/5] repo-settings: add feature.manyCommits setting

2019-07-23 Thread Johannes Schindelin
Hi Stolee, On Mon, 22 Jul 2019, Derrick Stolee via GitGitGadget wrote: > From: Derrick Stolee > > When a repo has many commits, it is helpful to write and read the > commit-graph file. Future changes to Git may include new config > settings that are benefitial in this scenario. s/benefitial/ben

[PATCH 2/5] repo-settings: add feature.manyCommits setting

2019-07-22 Thread Derrick Stolee via GitGitGadget
From: Derrick Stolee When a repo has many commits, it is helpful to write and read the commit-graph file. Future changes to Git may include new config settings that are benefitial in this scenario. Create the 'feature.manyCommits' config setting that changes the default values of 'core.commitGra