Gavin Halliday

Results 25 comments of Gavin Halliday

Closing for the moment because not sure about the performane implications

This isn't ready to merge, but I think it would be worthwhile discussing the advantages/disadvantages before cleaning it up.

@GordonSmith what is your opinion on this, and whether the change is ok. It means that if you submit a query from a directory that is part of your include...

@jeclrsg what is the status of this PR? It is still marked as a draft. Should it be closed?

@kunalaswani this looks like it has stalled. Is it because you didn't ask for a re-review? (I have now done that.)