Migrating the Main Zig Repository from GitHub to Codeberg
9 comments
·November 27, 2025bitbasher
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.
yoyohello13
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.
bitbasher
I believe Drew was taking a "break" from it, but not stepping away in any permanent sense. It's probably better for him to stay involved. I'd like to see him push his idea further. It's great to have options.
yoyohello13
I’m glad they have robust support for email based patching but it’s a hard sell for people getting in to the platform.
ZeroAurora
It's a pity that the GitHub repository is not mirrored, probably making downstreams broken.
Good move anyway.
fijiaarone
[flagged]
fatchan
Github is by far the more woke platform, so I think you missed the point.
sashank_1509
Did you even read the article. Yes, he had 1 sentence on ICE, which maybe you disagree with its politics. But most of the article was with technical issues in github as a platform and its neglect of non AI features. Please take your low quality comment to X.
Finally, I can’t believe I have to say it, but a creator of an open source project is free to infuse it with whatever values he wants, no one hates on SQLite, no need to hate someone for adding his brand of politics / values to his passion project. Please go create your own “non woke” language if you hate it so much.
> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, which I believe are at least in part due to GitHub aggressively pushing the “file an issue with Copilot” feature in everyone’s face.
Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Any non-mainstream platform is not as compelling to get social credits.