roadrunner_ex@lemmy.ca to Programming@programming.devEnglish · 2 months agoThe technology behind GitHub’s new code searchgithub.blogexternal-linkmessage-square10fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe technology behind GitHub’s new code searchgithub.blogroadrunner_ex@lemmy.ca to Programming@programming.devEnglish · 2 months agomessage-square10fedilink
minus-squarePrison Mike@links.hackliberty.orglinkfedilinkarrow-up0·2 months agoI always found the code search more distracting than helpful. Just let me use the browser native Command + F ffs.
minus-squareVenat0r@lemmy.worldlinkfedilinkarrow-up0·1 month agoI think it’s referring to when you’re searching the entire code base(s), as opposed to individual pull requests.
minus-squareRonSijm@programming.devlinkfedilinkarrow-up0·1 month 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
I always found the code search more distracting than helpful. Just let me use the browser native Command + F ffs.
I think it’s referring to when you’re searching the entire code base(s), as opposed to individual pull requests.
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