Dear Developers,

I attached my report about some minor inconsistency of the behaviour of the
gitdir directive used within includeIf in the global git config file.

Best regards
Édes I. Gergely