On Fri, Aug 02, 2019 at 02:12:34PM +0200, Johannes Schindelin wrote: > > > * js/early-config-with-onbranch (2019-07-31) 1 commit > > > (merged to 'next' on 2019-08-01 at 26b713c824) > > > + config: work around bug with includeif:onbranch and early config > > > > > > The recently added [includeif "onbranch:branch"] feature does not > > > work well with an early config mechanism, as it attempts to find > > > out what branch we are on before we even haven't located the git > > > repository. The inclusion during early config scan is ignored to > > > work around this issue. > > > > > > Will merge to 'master'. > > > > I had some open comments here on how the "do we have a repo" check is > > done, but I think what is committed here is functionally equivalent. I > > can pursue the NULL the_repository cleanups separately. > > Right, I read that as "maybe later" comments, as that project is so > different from trying to fix the `onbranch` feature with regards to the > early config machinery. > > Or did I misread and you want me to do anything about it before v2.23.0? I think when I wrote my original replies in the thread that I wasn't sure _what_ I wanted. :) I had originally hoped to convince you to switch to have_git_dir() now, but I do agree after investigating that it would require an extra patch to common-main. Mostly I was just trying to clarify here that my comments were not blockers for merging this; I couldn't find any case where your patch as-is would behave incorrectly. -Peff