Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

81–90 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#81

Earlier quoted context omitted.

> I'm happy to see the move. Codeberg is probably a more stable/long-term solution than SourceHut as the founder is slightly unhinged What's this about?

Maybe the incident: https://news.ycombinator.com/item?id=41837782 https://dmpwn.info/

I'm confused, the incident is that he wrote a document detailing repeated bad behaviour from a well known community figure? And this is a bad thing?

And that second link is really grasping at straws lol

Re: Migrating the main Zig repository from GitHub to Codeberg

#82

Earlier quoted context omitted.

> I'm happy to see the move. Codeberg is probably a more stable/long-term solution than SourceHut as the founder is slightly unhinged What's this about?

Maybe the incident: https://news.ycombinator.com/item?id=41837782 https://dmpwn.info/

Holy shit this escalates completely. I had no idea any of this was going.

Is sr.ht tainted now or still a decent place to host code? I can't quite tell.

Re: Migrating the main Zig repository from GitHub to Codeberg

#83

I don’t have strong opinions about Zig or Codeberg, but I find the self-described status of the latter’s infrastructure concerning[1]: they’re seemingly running faulty hardware in production with limited redundancy, and are actively soliciting more hardware of unknown quality/reliability/provenance from their community. This is cool for a hobbyist project, but it doesn’t scream “stable platform for a post-GitHub worl…

[deleted]

Re: Migrating the main Zig repository from GitHub to Codeberg

#84

I don’t have strong opinions about Zig or Codeberg, but I find the self-described status of the latter’s infrastructure concerning[1]: they’re seemingly running faulty hardware in production with limited redundancy, and are actively soliciting more hardware of unknown quality/reliability/provenance from their community. This is cool for a hobbyist project, but it doesn’t scream “stable platform for a post-GitHub worl…

Reading the infra part of the post made me smile, I spent part of my week putting workloads on spot but this is the real spot market. Chaos monkey is running in prod if you are ready for it or not. Jokes aside, the technical depth it takes to make that one server run is impressive. That makes me more interested in codeberg, not less, though I’m going to keep my own mirror of the zig repo until they get some better ha…

To be clear, I’m not knocking it; I also like to reuse old computers. But it’s incongruous with replacing GitHub, rather that being a “weirdo hobbyist” version of GitHub.

Re: Migrating the main Zig repository from GitHub to Codeberg

#85

I'm happy to see the move. Codeberg is probably a more stable/long-term solution than SourceHut as the founder is slightly unhinged (but love what he has built). Honestly, either would have been great choices. More opensource projects should move off GitHub. I moved off it myself.

I’m pretty sure Drew has stepped away from SourceHut. It’s kind of a bummer SourceHut stuck so stubbornly to mailing list only workflows. Everything else about the platform is great.

Drew is still working on SourceHut:

https://sourcehut.org/blog/2025-11-20-whats-cooking-q4-2025/

Re: Migrating the main Zig repository from GitHub to Codeberg

#87

Earlier quoted context omitted.

Reading the infra part of the post made me smile, I spent part of my week putting workloads on spot but this is the real spot market. Chaos monkey is running in prod if you are ready for it or not. Jokes aside, the technical depth it takes to make that one server run is impressive. That makes me more interested in codeberg, not less, though I’m going to keep my own mirror of the zig repo until they get some better ha…

To be clear, I’m not knocking it; I also like to reuse old computers. But it’s incongruous with replacing GitHub, rather that being a “weirdo hobbyist” version of GitHub.

And yet the amount of work time I've missed out on from github being down is slightly concerning in retrospect. I imagine the smaller scale of codeberg will actually lead to more uptime despite chaos monkey's best efforts.

Re: Migrating the main Zig repository from GitHub to Codeberg

#89

Earlier quoted context omitted.

Is it really a surprise that the project that declared a blanket ban on LLM-generated code is also emotional and childish in other areas?

I don't see how the two are related at all. A blanket ban on LLM-generated code is at least arguably a reasonable policy.

> A blanket ban on LLM-generated code is at least arguably a reasonable policy.

No, I don't think it is. There's more nuance to this debate than either "we're banning all LLM code" or "all of our features are vibe coded".

A blanket ban on unreviewed LLM code is a perfectly reasonable way to mitigate mass-produced slop PRs, but it is not reasonable to ban all code generated by an LLM. Not only is it unenforceable, but it's also counterproductive for people who genuinely get value out of it. As long as the author reviews the code carefully before opening a PR and can be held responsible, there's no problem.

Post reply on HN