Problem: it's easy to make mistakes when limiting the scope of a git resource with the paths and ignore_paths options, inadvertently making use of files which aren't included by these lists. This can make life get very weird - especially so if you're using multiple git resources pointing at the same repo with different paths settings.
Partial solution: a "strict" mode which would actively strip the working tree of any files not included by these filters, so that attempted use of any of these files will fail.
Problem: it's easy to make mistakes when limiting the scope of a git resource with the
pathsandignore_pathsoptions, inadvertently making use of files which aren't included by these lists. This can make life get very weird - especially so if you're using multiple git resources pointing at the same repo with differentpathssettings.Partial solution: a "strict" mode which would actively strip the working tree of any files not included by these filters, so that attempted use of any of these files will fail.