262
Ghostty Is Leaving GitHub (mitchellh.com)
submitted 4 months ago by to c/technology@lemmy.world
36 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 6 points 4 months ago (3 children)

Damn, I also want to move away (to codeberg), but it seems that they don't have cross-repository code search (at least I failed to find one), which is one of my most used GitHub features. Like "lang:nix some-service-name" to see how people configure a specific service. Is there any way to achieve a similar thing on codeberg?

  • permalink
  • fedilink
  • source
  • hideshow 3 child comments
    •
  • [–] 3 points 4 months ago (2 children)

    You don't need to host your code on github to search the projects hosted there. You just need an account.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 3 points 4 months ago (1 child)

    I mean yeah, but then people who search in a similar way would not be able to find my configs for reference, and that seems unfair.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 5 points 4 months ago

    Simple solution is to have another remote on github and push there so it's searchable to others but handle PRs, issues and releases on codeberg. People are not leaving github because there's some issue with hosting code there. The issue are with the development process.

  • permalink
  • fedilink
  • source
  • parent