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.

It's a pity that the GitHub repository is not mirrored, probably making downstreams broken.

Good move anyway.

> 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.

Biting the hand that fed you. I hope he's going to donate some of the money is getting begging to codeberg in return of their services.

> Effective immediately, I have made ziglang/zig on GitHub read-only, and the canonical origin/master branch of the main Zig project repository is https://codeberg.org/ziglang/zig.git.

If there is one benefit in moving from GitHub it is certainly avoiding receiving slop issues from AI tools on GitHub.

Github was on the decline anyway in the past 5 years, its time for an alternative and we'll see. Would rather it being Codeberg over something like Sourcehut.