Conversation

Notices

1. muesli (fribbledom@mastodon.social)'s status on Wednesday, 03-Aug-2022 09:46:46 UTC muesli

   The GitHub search experience:

   1. Enter a search term
   2. Take note of the 5 results
   3. Click Search button again
   4. Take note of completely different results
   5. Repeat steps 3 and 4 until you're satisfied with the results

   Yes, yes, search engines are hard, but this is embarrassing.

   • muesli (fribbledom@mastodon.social)'s status on Wednesday, 03-Aug-2022 09:50:32 UTC muesli

     in reply to

     • musicmatze

     @musicmatze

     That's exactly what I do as well. Embarrassing 😆

   • musicmatze (musicmatze@mastodon.technology)'s status on Wednesday, 03-Aug-2022 09:50:33 UTC musicmatze

     in reply to

     • muesli

     @fribbledom using `site:github.com` with google does the trick! 😆

   • muesli (fribbledom@mastodon.social)'s status on Wednesday, 03-Aug-2022 17:04:36 UTC muesli

     in reply to

     • Spotlight

     @spotlight

     Kinda, but it seems to work on a pretty outdated search index. While the regular search finds up to 20 results (for my sample search), codesearch only comes up with two fairly old results.

   • Spotlight (spotlight@uwu.social)'s status on Wednesday, 03-Aug-2022 17:04:37 UTC Spotlight

     in reply to

     • muesli

     @fribbledom cs.github.com seems to definitely be a lot better than their current search, it’s a lot better at matching your actual query! really hoping it comes out of beta soon, current public search is embarrassingly bad atm

   • ersei (84b08ef8@mastodon.social)'s status on Wednesday, 03-Aug-2022 17:46:08 UTC ersei

     in reply to

     • muesli

     @fribbledom I had a lot better experience on the github search a few years ago. I wonder what changed...