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.
Migrating the main Zig repository from GitHub to Codeberg
11–20 of 952 posts
Re: Migrating the main Zig repository from GitHub to Codeberg
#12I'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 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?
Re: Migrating the main Zig repository from GitHub to Codeberg
#13> 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 AI slop issues on GitHub.
Github was on the decline anyway in the past 5 years, it's time for an alternative and we'll see. Would rather it being Codeberg over something like Sourcehut.
Re: Migrating the main Zig repository from GitHub to Codeberg
#14Biting 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.
you say this like it's some own or something, but I'd be more surprised if they didn't. believe it or not, they are already donating some of their funds to the upstream ecosystem[0].
Re: Migrating the main Zig repository from GitHub to Codeberg
#15> 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 com…
Issues and Pull requests are only optional features . Open source projects could always use GitHub as just git host/mirror like how torvalds/linux is setup .
Re: Migrating the main Zig repository from GitHub to Codeberg
#16Nice work
Re: Migrating the main Zig repository from GitHub to Codeberg
#17I'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 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?
Anyone who has read Drew de vault's blog for some time reaches the same conclusion it seems.
Re: Migrating the main Zig repository from GitHub to Codeberg
#18I don't particularly like Zig, actually I don't like the language.
But I have to admit, it's a bold move, free software projects should be encouraged to do the same.
Re: Migrating the main Zig repository from GitHub to Codeberg
#19Calling the people who work on GitHub “losers” is not cool.
Re: Migrating the main Zig repository from GitHub to Codeberg
#20Calling the people who work on GitHub “losers” is not cool.
Look at the absolute state of what they are working on. If they are not losers, they are dispirited clock-punchers who don't care about their craft.