226
Zig: Migrating from GitHub to Codeberg (ziglang.org)
submitted 10 months ago by to c/programming@programming.dev
34 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 19 points 10 months ago (9 children)

I won't ever write zig but respect to the maintainers for moving to codeberg and sticking to their principles. If the nixos foundation had any, they would move too (but I guess fighting in the forums is more fun than moving).

  • permalink
  • fedilink
  • source
  • hideshow 9 child comments
    •
  • [–] 3 points 10 months ago

    im not sure codeberg currently had the infrastructure to support day-to-day operation of nixpkgs development. I'm using codeberg daily for my own projects, and sometimes the diff for MR is broken or load for too long. Not mentioning stability issues.

    Of course I wouldn't complain of something thats maintained by volunteers. I'm just saying the traffic for nixpkgs are currently big and I'm pessimistic codeberg can handle it.

  • permalink
  • fedilink
  • source
  • parent
  • [–] 1 point 10 months ago (7 children)

    I feel like we should be treating git as more of a federated system. What rule is there against pushing to multiple remotes?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 7 child comments
    •
  • [–] 5 points 10 months ago (2 children)

    For git itself sure, but all the other things that come with a git forge, like issue management, are probably things that you don't want spread out over multiple websites

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 1 point 10 months ago (1 child)

    We already have activitypub, and projects like Gitea are actively implementing it (at this time I don't think it's live enough yet)

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •