That’s great that it works for you, but it doesn’t work for me.
What about the one-off search of someone else’s code? I don’t want to check out the repo just to add/edit a file so I can run ripgrep locally. If GitHub has a search feature that is entirely online, it would make sense for people to request they improve it.
The topic is datasette and ripgrep. I would be curious why in the context of those tools ignore files are not a solution. I agree that github codesearch leaves a lot to be desired.
Put it this way, OP is basically a web interface for ripgrep; ripgrep supports not just 'automatic' filtering through ignore files, but also 'manual' filtering per-query through the -g flag. OP should have an interface to the -g flag.
I agree that a -g flag would be useful. However given the original comment and how datasette is used I figured the ignore file would be a good solution.