Re: [PATCH 0/1] Hot fix for js/empty-config-section-fix

2018-05-17 Thread Junio C Hamano
Johannes Schindelin writes: > In https://public-inbox.org/git/20180508134248.ga25...@sigill.intra.peff.net/ > Jeff King pointed out that an invalid config section is not an indicator > of a bug, as it is usually provided by the user. > > So we should not throw a fit and tell the user about a bug

[PATCH 0/1] Hot fix for js/empty-config-section-fix

2018-05-17 Thread Johannes Schindelin
In https://public-inbox.org/git/20180508134248.ga25...@sigill.intra.peff.net/ Jeff King pointed out that an invalid config section is not an indicator of a bug, as it is usually provided by the user. So we should not throw a fit and tell the user about a bug that they might even report. Instead,