They've abandoned GitHub for Codeberg because GitHub has ICE as a customer. Codeberg uses Paypal which is a member of the ICE "Virtual Global Taskforce". https://www.ice.gov/news/releases/top-story-industry-partner... There is a purity spiral that organizations can enter when they start doing this, which ends up with you shoving yourself into a cold dark corner of the internet and still not being completely detached…
when the shit finally starts flying there is no better place to be than low down, in a dark corner, with clean hands, looking nothing like a pig
Migrating the main Zig repository from GitHub to Codeberg
261–270 of 952 posts
Re: Migrating the main Zig repository from GitHub to Codeberg
#262Earlier quoted context omitted.
The original loop is: while (time() != timeout) {;} The fixed loop is: while (time() < timeout) {;}
I see. I did not realize SECONDS was a built in bash variable.
Given that Github Actions is quite popular, probably wasting large amount of energy.
But probably good at generating billable Actions minutes.
One can only hope that not many people use sleeps to handle their CI race conditions, as that itself is also not a proper fix.
Re: Migrating the main Zig repository from GitHub to Codeberg
#263Earlier quoted context omitted.
The only good thing about it is their very generous limits for "open source" projects (it doesn't even have to be free software AFAIK, just the source has to be visible to everyone). The CI service itself is an absolute trash fire caused by the usual Microsoft NIH, and if they have financial means not to deal with it anymore, I see no reason for them to waste their limited development time on dealing with it.
They could have easily done that without all the insults.
Re: Migrating the main Zig repository from GitHub to Codeberg
#264So much vague outrage over nothing. That CI system created by so called monkeys is the one of the best free CI service in the world. Not everyone has the millions of dollars like Zig Foundation to create their own CI servers. After that they appreciate GitHub Sponsors, but say it is now a complete liability just because a project leader left. What are the actual changes? Any new rule? But no, it is now a "liability"…
The only good thing about it is their very generous limits for "open source" projects (it doesn't even have to be free software AFAIK, just the source has to be visible to everyone). The CI service itself is an absolute trash fire caused by the usual Microsoft NIH, and if they have financial means not to deal with it anymore, I see no reason for them to waste their limited development time on dealing with it.
Re: Migrating the main Zig repository from GitHub to Codeberg
#265Earlier quoted context omitted.
You're right, I've been hearing lots of good things about Zig and I wanted to check it out but I'm glad I saw this post. I want no part of this thing. I've heard people call other people "monkeys" before in a work setting. it's never good. Fact is, you don't need to call anyone names or insult them. The takeaway for me is that the Zig project is led by people who are extremely immature and toxic. I simply don't trust…
> The takeaway for me is that the Zig project is led by people who are extremely immature and toxic. immature and toxic : welcome to every big tech , you don't want part of them either, right ?
Having been in that situation before, if I even get a hint that I would be treated this way, I'm backing out of any interview. I won't say for no amount, but for no amount they would consider reasonable compensation would I think it's worth it. People commit suicides over this stuff. This isn't a joke. Life is too short. I mean just seeing other people treated this way is horrible on its own. I can't believe people defend this stuff. People need to learn to be ashamed again.
Re: Migrating the main Zig repository from GitHub to Codeberg
#266Re: Migrating the main Zig repository from GitHub to Codeberg
#267Re: Migrating the main Zig repository from GitHub to Codeberg
#268Earlier quoted context omitted.
You're right, I've been hearing lots of good things about Zig and I wanted to check it out but I'm glad I saw this post. I want no part of this thing. I've heard people call other people "monkeys" before in a work setting. it's never good. Fact is, you don't need to call anyone names or insult them. The takeaway for me is that the Zig project is led by people who are extremely immature and toxic. I simply don't trust…
microsoft employee detected. lol to all ms employees, keep downvoting...
Re: Migrating the main Zig repository from GitHub to Codeberg
#269Yes issues have been filed but more could be done back channel.
Personally - I think GitHub is a cultural artifact now. Of the entire planet. Hackers and curious minds from Japan to Alaska and everything in-between flock to GitHub.