Re: [PATCH v4 0/4] Make DEVELOPER more more flexible with DEVOPTS

2018-04-15 Thread Junio C Hamano
Ævar Arnfjörð Bjarmason writes: > This is a v4 and replacement of gitster/nd/warn-more-for-devs. I'm > sending this with Duy's blessing. > > The first two patches are the same, except for one trivial > s/faimily/family/ typo fix. > > The third patch in gitster/nd/warn-more-for-devs ("Makefile: a

[PATCH v4 0/4] Make DEVELOPER more more flexible with DEVOPTS

2018-04-14 Thread Ævar Arnfjörð Bjarmason
This is a v4 and replacement of gitster/nd/warn-more-for-devs. I'm sending this with Duy's blessing. The first two patches are the same, except for one trivial s/faimily/family/ typo fix. The third patch in gitster/nd/warn-more-for-devs ("Makefile: add EAGER_DEVELOPER mode") is gone, instead ther