4 ms·
GitHub search used to be amazing, then circa 2019(?) they nerfed it, I think because of security credential leakage.
by paulddraper 3y ago
GitHub search used to be amazing, then circa 2019(?) they nerfed it, I think because of security credential leakage.
- jokethrowaway 3y agoNah, it's always been unreliable. Around 2016 a coworker wrote a code indexer for our private repos and we used that to find occurrences of things which were critical. We've been burnt sooo many times ('are you sure we changed all the occurrences of this in all our 3252 microservices?'). Between shoddy UX (the + being part of the code you were copying!), blatantly missing features for years (ZenHub, late GitHub actions), GitHub really succeeded only because of timing and network effect. The developers' community is quite powerful. I'm happy for the original team, but now it's just another MS acquisition I hope we'll stop using.