roadrunner_ex@lemmy.ca to Programming@programming.devEnglish · 2 years agoThe technology behind GitHub’s new code searchgithub.blogexternal-linkmessage-square14linkfedilinkarrow-up150arrow-down15
arrow-up145arrow-down1external-linkThe technology behind GitHub’s new code searchgithub.blogroadrunner_ex@lemmy.ca to Programming@programming.devEnglish · 2 years agomessage-square14linkfedilink
minus-squarePrison Mike@links.hackliberty.orglinkfedilinkarrow-up12·2 years agoI always found the code search more distracting than helpful. Just let me use the browser native Command + F ffs.
minus-squareRonSijm@programming.devlinkfedilinkarrow-up6·2 years 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·2 years agoI’m usually using it not to search the codebase but to search for something specific with a file.
minus-squareVenat0r@lemmy.worldlinkfedilinkarrow-up3·2 years agoI think it’s referring to when you’re searching the entire code base(s), as opposed to individual pull requests.
I always found the code search more distracting than helpful. Just let me use the browser native Command + F ffs.
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.
I think it’s referring to when you’re searching the entire code base(s), as opposed to individual pull requests.