[flagged]
Github is by far the more woke platform, so I think you missed the point.
There is no sense in which a platform owned by a company which enthusiastically aided a genocide could be termed "woke."
Migrating the main Zig repository from GitHub to Codeberg
21–30 of 952 posts
Re: Migrating the main Zig repository from GitHub to Codeberg
#22Earlier 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?
Anyone who has read Drew de vault's blog for some time reaches the same conclusion it seems.
DeVault's controversial takes are pretty similar to the ones that Kelley expresses in this post, so I don't see much misalignment here.
Re: Migrating the main Zig repository from GitHub to Codeberg
#23> 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 Codeber…
> Github was on the decline anyway in the past 5 years, it's time for an alternative and we'll see.
I tend to agree. But I don't see how an exact UI replica of Github is innovative.
I've only glanced at it though, maybe there's more features underneath the hood.
Happy to learn more about what makes it better. Is the CI system more refined than Github Actions? I was definitely never a fan of that system.
Re: Migrating the main Zig repository from GitHub to Codeberg
#24Calling 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.
The absolute state of Github is that I use it dozens of times a day and it works flawlessly, for free, with intermittent outages.
Microsoft is doing more with Github than I can say for most of their products. I won't go to bat for the Xbox or Windows teams, but Github is... fine. Almost offensively usable.
Re: Migrating the main Zig repository from GitHub to Codeberg
#25Calling 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.
They could also just be people with bills to pay who are maybe faced with—by some accounts—a very challenging employment market. Or maybe due to disabilities they find the process of finding new work difficult or impossible.
Re: Migrating the main Zig repository from GitHub to Codeberg
#26Calling 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.
It’s more likely that most of them are competent professionals doing their best in an impersonal corporate environment, just like the rest of us.
Re: Migrating the main Zig repository from GitHub to Codeberg
#27Came hear and read “GitHub isn’t a good guy anymore” (not the first time, and seems to be increasing in frequency).
It’s like sourceforge all over again. History rhymes with itself, and enshitification has been added to dictionaries for a good reason.
As a once upon a time avid slashdotter, makes me wonder if some day, HN will go the same route.
Re: Migrating the main Zig repository from GitHub to Codeberg
#28What's the main diff between the different repos? I would think whoever keeps the repo free of malicious code is the best. A big player like GH should have an advantage on that. Also not intentional malicious code uploads, but vulnerable code should be detected and reported to tyhe submitters.
Re: Migrating the main Zig repository from GitHub to Codeberg
#29For a while now I've been dual hosting my projects on both Github and Codeberg and adding a note in the README's [1] explaining the situation. I donate to Codeberg and run my own self-hosted forgejo runners for actions, and maintain much of my testing on both platforms.
I push to Github and then an Action mirrors the code to Codeberg automatically.
I'd fully switch over except practically everybody is on Github and nobody is on Codeberg, and I've had more outages with Codeberg than Github over the past year.
It really feels like there could be some good tooling in this area to make working through multiple Forge's easier and not force things to be centralized so much. Hopefully more projects moving out of Github makes it easier and gets more people contributing elsewhere.
Re: Migrating the main Zig repository from GitHub to Codeberg
#30> 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 .
PRs are not optional: there is no way to disable them on GitHub. I can't be sure that this is intentional, but it certainly works out well for them that this is one of many properties which make it quite difficult to migrate away from the platform.