Comment on GitHub: Can no longer search code without being logged in
minorninth@lemmy.world 11 months agoCan you elaborate on what happened when you tried to search? I’ve never had trouble.
Comment on GitHub: Can no longer search code without being logged in
minorninth@lemmy.world 11 months agoCan you elaborate on what happened when you tried to search? I’ve never had trouble.
SpaceNoodle@lemmy.world 11 months ago
GitHub search simply won’t find search terms that I know are there (because I can grep them in my local repo). It also fails to search all branches. There’s also insufficient filtering for filetypes or paths.
Maybe I’m just spoiled from having used OpenGrok, as well as knowing how to use basic tools like find and grep, all of which I find substantially more useful.