Response from Martin Woodward, GitHub’s VP of Developer Relations:

Sorry for the inconvenience @koepnick - while searching across all repos has required being logged in for a long time, when we enhanced the search capabilities earlier in the 2023 we had to extend this to repos as well (see https://github.blog/changelog/2023-06-07-code-search-now-requires-login/).

This is primarily to ensure we can support the load for developers on GitHub and help protect the servers from being overwhelmed by anonymous requests from bots etc.

    • treadful@lemmy.zip
      link
      fedilink
      English
      arrow-up
      24
      ·
      1 year ago

      It’s okay. We need to move some shit off GH anyway. They’re basically a monopoly on FLOSS code.

        • AVincentInSpace@pawb.social
          link
          fedilink
          English
          arrow-up
          12
          ·
          edit-2
          1 year ago

          Yeah? When was the last time you clicked on a “Source Code” link and got anything other than a link to GitHub or a direct download of a tarball?

          Sure, alternatives exist – I could name half a dozen right now – but no one uses 'em.

          • El Barto@lemmy.world
            link
            fedilink
            arrow-up
            6
            ·
            edit-2
            1 year ago

            Ok. But alternatives exist and users have choice. If Github fucks up tomorrow, a user exodus can be triggered just like that. It’s not too hard to migrate from it.

            Plus the open source code space is vast. Huge. And the means of distributing it are quite diverse.