> Ah, so it should be safe to just check for the glimpse index on the > target directory, use it if its there, otherwise default to using > --use-gitgrep as a second step should be safe, regardless of whether > or not the target (directory or file) is part of a git tree?
Yep. julia -- To unsubscribe from this list: send the line "unsubscribe backports" in
