roadrunner_ex to Programming@programming.devEnglish · 3 months agoThe technology behind GitHub’s new code searchgithub.blogexternal-linkmessage-square14fedilinkarrow-up148arrow-down16
arrow-up142arrow-down1external-linkThe technology behind GitHub’s new code searchgithub.blogroadrunner_ex to Programming@programming.devEnglish · 3 months agomessage-square14fedilink
minus-squareRonSijm@programming.devlinkfedilinkarrow-up6·3 months agoThat doesn’t really work all the time, because large files or large commits are lazy loaded on scroll, so what you’re searching might not have loaded yet The code search does a server side search
minus-squarePrison Mike@links.hackliberty.orglinkfedilinkarrow-up1·3 months agoI’m usually using it not to search the codebase but to search for something specific with a file.
That doesn’t really work all the time, because large files or large commits are lazy loaded on scroll, so what you’re searching might not have loaded yet
The code search does a server side search
I’m usually using it not to search the codebase but to search for something specific with a file.