Remix.run Logo
Zig quits GitHub, says Microsoft's AI obsession has ruined the service(theregister.com)
208 points by Brajeshwar 2 hours ago | 84 comments
mkornaukhov an hour ago | parent | next [-]

IMHO, the main advantage of github is that it is an ecosystem. This is a well-thought-out Swiss knife: a pioneering (but no longer new) PR system, convenient issues, as well as a well-formed CI system with many developed actions and free runners. In addition, it is best to use code navigation simply in a web browser. You write code, and almost everything works effortlessly. Having a sponsorship system is also great, you don't have to search for external donation platforms and post weird links in your profile/repository.

All in one, that's why developers like it so much. The obsession with AI makes me nervous, but the advantages still outweigh, as for me, the average developer. For now.

baq an hour ago | parent | next [-]

> a pioneering (but no longer new) PR system

having used gerrit 10 years ago there's nothing about github's PRs that I like more, today.

> code navigation simply in a web browser

this is nice indeed, true.

> You write code, and almost everything works effortlessly.

if only. GHA are a hot mess because somehow we've landed in a local minimum of pretend-YAML-but-actually-shell-js-jinja-python and they have a smaller or bigger outage every other week, for years now.

> why developers like it so much

most everything else is much worse in at least one area and the most important thing it's what everyone uses. no one got fired for using github.

CamouflagedKiwi 32 minutes ago | parent | next [-]

The main thing I like about Github's PRs is that it's a system I'm already familiar with and have a login/account for. It's tedious going to contribute to a project to find I have to sign up for and learn another system.

I've used Gerrit years ago, so wasn't totally unfamiliar, but it was still awkward to use when Go were using it for PRs. Notably that project ended up giving up on it because of the friction for users - and they were probably one of the most likely cases to stick to their guns and use something unusual.

TheDong 22 minutes ago | parent [-]

> Notably [go] ended up giving up on [gerrit]

That's not accurate. They more or less only use Gerrit still. They started accepting Github PRs, but not really, see https://go.dev/doc/contribute#sending_a_change_github

> You will need a Gerrit account to respond to your reviewers, including to mark feedback as 'Done' if implemented as suggested

The comments are still gerrit, you really shouldn't use Github.

The Go reviewers are also more likely than usual to assume you're incompetent if your PR comes from Github, and the review will accordingly be slower and more likely to be rejected, and none of the go core contributors use the weird github PR flow.

delusional an hour ago | parent | prev [-]

> having used gerrit 10 years ago there's nothing about github's PRs that I like more, today.

I love patch stack review systems. I understand why they're not more popular, they can be a bit harder to understand and more work to craft, but it's just a wonderful experience once you get them. Making my reviews work in phabricator made my patchsets in general so much better, and making my patchsets better have improved my communication skills.

CafeRacer an hour ago | parent | prev | next [-]

I'd rather solve advent of code in brainfuck than have to debug their CI workflows ever again.

matrss 24 minutes ago | parent | prev | next [-]

> a pioneering (but no longer new) PR system

Having used Forgejo with AGit now, IMO the PR experience on GitHub is not great when trying to contribute to a new project. It's just unnecessarily convoluted.

officialchicken an hour ago | parent | prev [-]

Embrace, extend, extinguish.

That's not a Victorinox you're looking at, it's a cheap poorly made enshittified clone using a decades old playbook (e-e-e).

The focus on "Sponsorship buttons" and feature instead of fixing is just a waste of my time.

zer0tonin 3 minutes ago | parent | prev | next [-]

This resonates with me. Last week I got stuck on a bug where GitHub actions was pulling ARMv7 docker images when I specifically requested ARMv8. Absolutely impossible to reproduce locally either.

liampulles 11 minutes ago | parent | prev | next [-]

The main function of GitHub is really just advertising or at least broadcasting your work. I would use GitHub issues, stars, etc as an (imperfect gauge) of the quality of a library. This is not because of GitHub's features, just that it's the biggest and most well known. And yes I know buying stars is a thing, which is why it's part of the evaluation and not the whole ballgame.

Now that zig is fairly well known and trusted, it makes sense that this is less of a concern to migrate away from

themgt 2 hours ago | parent | prev | next [-]

I have sympathy for some of the GitHub complaints. otoh just went to try to signup for Codeberg and it's down ... 95% uptime over the last 2 weeks?

https://status.codeberg.org/status/codeberg

Sammi 10 minutes ago | parent | next [-]

Because they are Codeberg I'm betting they have a philosophical aversion to using a cloud based ddos protection service like Cloudflare. Sadly the problem is that noone has come up with any other type of solution that actually works.

Daegalus 20 minutes ago | parent | prev | next [-]

Just a reminder, Codeberg is for open source projects only, and maybe some dotfiles and such. Its on their frontpage and in their TOS.

p2detar an hour ago | parent | prev | next [-]

There have been complaints about it on Reddit as well. I registered an account recently and to me the annoying thing is the constant "making sure you are not a bot" check. For now I see no reason to migrate, but I do admit Forgejo looks very interesting to self-host.

verdverm an hour ago | parent [-]

https://tangled.org/ is building on ATProto

1. use git or jj

2. pull-request like data lives on the network

3. They have a UI, but anyone can also build one and the ecosystem is shared

I've been considering Gerrit for git-codereview, and tangled will be interesting when private data / repos are a thing. Not trying to have multiple git hosts while I wait

bpavuk 14 minutes ago | parent [-]

I, too, am extremely interested in development on Tangled, but I miss two features from GitHub - universal search and Releases. the web frontend of Tangled is so fast that I am still getting used to the speed, and jj-first features like stacked PRs are just awesome. kinda reminds me of how Linux patch submitting works.

bayindirh an hour ago | parent | prev | next [-]

I mean, they're battling with DDoS all the time. I follow their account on Mastodon, and they're pretty open about it.

I believe the correct question is "Why they are getting DDoSed this much if they are not something important?"

For anyone who wants to follow: https://social.anoxinon.de/@Codeberg

Even their status page is under attack. Sorry for my French, but WTF?

exceptione an hour ago | parent | next [-]

Crazy. Who would have an incentive to spend resources on DDoS'ing Codeberg? The only party I can think of would be Github. I know that the normalization of ruthlessness and winner-takes-all mentality made crime mandatory for large parts of the economy, but still cannot wrap my mind around it.

Kelteseth an hour ago | parent | next [-]

Not just them. For example, Qt self hosted cgit got ddos just two weeks ago. No idea why random open source projects getting attacked.

> in the past 48 hours, code.qt.io has been under a persistent DDoS attack. The attackers utilize a highly distributed network of IP addresses, attempting to obstruct services and network bandwidth.

https://lists.qt-project.org/pipermail/development/2025-Nove...

rcxdude 27 minutes ago | parent | prev | next [-]

DDoS are crazy cheap now, it could be a random person for the lulz, or just as a test or demo (though I suspect Codeberg aren't a bit enough target to be impressive there).

Sammi 12 minutes ago | parent [-]

Is it because the s in iot stands for security? I'm asking genuinely. Where are these requests coming from?

sznio 31 minutes ago | parent | prev | next [-]

>The only party I can think of would be Github.

I think it's not malice, but stupidity. IoT made even a script kiddie capable of running a huge botnet capable of DDoSing anything but CloudFlare.

tonyhart7 39 minutes ago | parent | prev | next [-]

its easier for MS to buy codeberg and close it than to spent time and money to DDOS things

matrss 27 minutes ago | parent [-]

How do you buy an e.V.?

Ygg2 an hour ago | parent | prev [-]

> Who would have an incentive to spend resources

That's not how threat analysis works. That's a conspiracy theory. You need to consider the difficulty of achieving it.

Otherwise I could start speculating which large NAS provider is trying to DDoS me, when in fact it's a script kiddie.

As for who would have the most incentives? Unscrupulous AI scrapers. Every unprotected site experiences a flood of AI scrapers/bots.

theteapot 13 minutes ago | parent [-]

Actually I think that's roughly how threat analysis works though.

letmetweakit an hour ago | parent | prev [-]

That's rough ... it is a bad, bad world out there.

bayindirh an hour ago | parent [-]

Try exposing a paswordless SSH server to outside to see what happens. It'll be tried immediately, non-stop.

Now, all the servers I run has no public SSH ports, anymore. This is also why I don't expose home-servers to internet. I don't want that chaos at my doorstep.

letmetweakit an hour ago | parent | next [-]

Yeah, I have been thinking about hosting a small internet facing service on my home server, but I’m just not willing to take the risk. I’d do it on a separate internet connection, but not on my main one.

bayindirh an hour ago | parent [-]

You can always use a small Hetzner server (or a free Oracle Cloud one if you are in a pinch) and install tailscale to all of your servers to create a P2P yet invisible network between your hosts. You need to protect the internet facing one properly, and set ACLs at tailscale level if you're storing anything personal on that network, though.

letmetweakit 38 minutes ago | parent [-]

I would probably just ssh into the Hetzner box and not connect it to my tailnet.

gear54rus an hour ago | parent | prev [-]

this can be fixed by just using random ssh port

all my services are always exposed for convenience but never on a standard port (except http)

bayindirh an hour ago | parent [-]

It reduces the noise, yes, but doesn't stop a determined attacker.

After managing a fleet for a long time, I'd never do that. Tailscale or any other VPN is mandatory for me to be able to access "login" ports.

SideburnsOfDoom an hour ago | parent | prev | next [-]

GitHub uptime isn't perfect either. You will notice these outages from time to time if your employer is using it for more than just "store some git repos", e.g. using GHA for builds and deploys, packages etc.

worldsavior an hour ago | parent | prev [-]

What? It says it's up for 98.56% for the last 2 weeks.

qwertox an hour ago | parent [-]

That's probably the average. But if Codeberg Translate shines with 99.58%, it is an unnecessary entry which harms the "92.42% Codeberg.org" reality.

sepisoad 16 minutes ago | parent | prev | next [-]

I totally agree, Microsoft is ruining everything with AI, like all Microsoft product have been on decline for years even before the LLM era, and now they are on an even steeper decline.

it makes me sad to see that github is now going through the same shit, and people are using other random half-ass alternatives, it’s not easy to keep track of your favourite open-source projects across many source forgeries. we need someone to buy github from Microsoft and remove all the crap they have added to it.

tacker2000 an hour ago | parent | prev | next [-]

To be fair this has more to do with Github Actions than Github, which from the beginning was never really going to rival any professional solution.

The people at Zig should use proper CI tools and not something that a big service provider is offering as an afterthought.

tuupola 2 hours ago | parent | prev | next [-]

They also made the disastrous update to the dashboard feed which made the frontpage pretty much useless.

https://github.com/orgs/community/discussions/65343

danilafe an hour ago | parent [-]

Their most most recent update replaces all this with a list of recently updated PRs and issues. I've been learning on it heavily since it came out. One of the few recent changes that really feels like a clear improvement.

sevenseacat 14 minutes ago | parent [-]

oh wow. I just had to press the "Try the new experience!" button about ten times for it to finally load the new experience, but I like it

jacquesm 21 minutes ago | parent | prev | next [-]

Google workspace will have me do the same. No, I don't want to 'generate an image' I just want to use my own, thank you. They give their AI prime billing everywhere to the detriment of the products and the users.

ramon156 19 minutes ago | parent | prev | next [-]

Maintain on codeberg, mirror to GH. Tell everyone to contribute on CB

done.

Sammi 9 minutes ago | parent [-]

This seems workable to me. Github rose to prominence on the back of oss. What oss giveth oss can take away.

thewisenerd 2 hours ago | parent | prev | next [-]

previously discussed here: https://news.ycombinator.com/item?id=46064571

Migrating the main Zig repository from GitHub to Codeberg - 883 comments

aatd86 an hour ago | parent [-]

Didn't know about codeberg and can't even access it... Is it https://codeberg.org/ ??

politelemon an hour ago | parent [-]

That is correct. It is down quite a bit. https://status.codeberg.org/status/codeberg

testdelacc1 an hour ago | parent [-]

92% uptime? What do you do the other 8% of the time? Do you just invoke git push in a loop and leave your computer on?

badsectoracula 33 minutes ago | parent | next [-]

You keep working since Git is decentralized.

You can also run a Forgejo instance (the software that powers Codeberg) locally - it is just a single binary that takes a minute to setup - and setup a local mirror of your Codeberg repo with code, issues, etc so you have access to your issues, wiki, etc until Codeberg is up and Forgejo (though you'll have to update them manually later).

some_furry 37 minutes ago | parent | prev [-]

As discussed elsewhere in this thread: They're under DDoS, and have been very public about this fact.

reppap an hour ago | parent | prev | next [-]

One thing that's really nice about codeberg is how fast the pages load. Browsing GitHub often feels very sluggish. Obviously there's a difference in scale there, but I hope codeberg can keep being fast.

nromiun 6 minutes ago | parent [-]

That is surprising. It is the opposite for me.

  $ time curl -L 'https://codeberg.org/'
  real    0m3.063s
  user    0m0.060s
  sys     0m0.044s

  $ time curl -L 'https://github.com/'
  real    0m1.357s
  user    0m0.077s
  sys     0m0.096s
jillesvangurp 33 minutes ago | parent | prev | next [-]

Zig is distributed under the MIT License. MS is completely with in their rights to clone the git repository from Codeberg and do whatever with the source code. Including feeding it to their AI algorithms. Moving it to Codeberg doesn't really fix that. I get that some people want to restrict what people can do with source code (including using it for capitalist purposes or indeed ai/machine learning). But the whole point of many open source licenses (and especially the MIT license) is actually the opposite: allowing people to do whatever they want with the source code.

The Zig attitude towards AI usage is a bit odd in my view. I don't think it's that widely shared. But good for them if they feel strongly about that.

I'm kind of intrigued by Codeberg. I had never heard of it until a few days ago and it seems like that's happening in Berlin where I live. I don't think I would want to use it for commercial projects but it looks fine for open source things. Though I do have questions about the funding model. Running all this on donations seems like it could have some issues long term for more serious projects. Moving OSS communities around can be kind of disruptive. And it probably rules out commercial usage.

This whole Github is evil anti-capitalist stance is IMHO a bit out of place. I'm fine with diversity and having more players in the market though; that's a good thing. But many of the replacements are also for profit companies; which is probably why many people are a bit disillusioned with e.g. Gitlab. Codeberg seems structured to be more resilient against that.

Otherwise, Github remains good value and I'm getting a lot of value out of for profit AI companies providing me with stuff that was clearly trained on the body of work stored inside of it. I'm even paying for that. I think it's cool that this is now possible.

CamouflagedKiwi 29 minutes ago | parent [-]

> Zig is distributed under the MIT License. MS is completely with in their rights to clone the git repository from Codeberg and do whatever with the source code. Including feeding it to their AI algorithms. Moving it to Codeberg doesn't really fix that. I get that some people want to restrict what people can do with source code (including using it for capitalist purposes or indeed ai/machine learning). But the whole point of many open source licenses (and especially the MIT license) is actually the opposite: allowing people to do whatever they want with the source code.

MS training AIs on Zig isn't their complaint here. They're saying that Github has become a worse service because MS aren't working on the fundamentals any more and just chasing the AI dream, and trying to get AI to write code for it is having bad results.

asim an hour ago | parent | prev | next [-]

The article is very hard to read, with ads on one side, links in every other sentence. I could not even figure out where Zig has gone... TLDR anyone?

Edit: Scrolling comments I see something called Codeberg but why am I getting connection refused?

Another edit: Oh because Codeberg is down. I had to look at another thread on the frontpage to find that out...

mechazawa 2 hours ago | parent | prev | next [-]

More and more projects are moving to Codeberg, and I'm wondering; at what point will a critical mass be reached? Or will we end up with a fragmented ecosystem?

hinkley 2 hours ago | parent | next [-]

Oh no, our decentralized VCS will be… decentralized!

Seriously though the big problem to solve will be squatters, when there are three logical places for a module to be hosted. That could create issues if you want to migrate.

I would rather have this happening after a contender to git has surfaced. Something for instance with more project tracking built in so migration were simpler.

messe 2 hours ago | parent [-]

> Seriously though the big problem to solve will be squatters, when there are three logical places for a module to be hosted

I suspect Codeberg, which is focused on free software, will frown on them. They already disallow mirroring.

maccard an hour ago | parent [-]

> They already disallow mirroring.

In which direction? (I'd check myself but they're down...). That doesn't sound very open to me.

messe an hour ago | parent [-]

I was slightly wrong. You can manually mirror things, but they have removed a feature that allowed one to automatically mirror repositories hosted elsewhere. It was originally intended as an ease of migration tool, but ended up consuming too many resources.

From their FAQ:

> Why can't I mirror repositories from other code-hosting websites?

> Mirrors that pull content from other code hosting services were problematic for Codeberg. They ended up consuming a vast amount of resources (traffic, disk space) over time, as users that were experimenting with Codeberg would not delete those mirrors when leaving.

> A detailed explanation can be found in this blog post.[1]

[1]: https://blog.codeberg.org/mirror-repos-easily-created-consum...

pan69 2 hours ago | parent | prev | next [-]

> fragmented ecosystem

This sounds a bit like an oxymoron. More diversity will only help the ecosystem IMHO.

flohofwoe an hour ago | parent | prev | next [-]

All those different 'git forges' use git as version control system and the same issue and PR workflows. There is no fragmentation, unless you consider one git url being different from another git url 'fragmentation' ;)

xeonmc 2 hours ago | parent | prev | next [-]

You say fragmented I say decentralized.

IshKebab 2 hours ago | parent [-]

I say "I'm not making yet another account to report this bug". Tangled is trying to solve that problem but we'll see.

myaccountonhn 36 minutes ago | parent | next [-]

That's the beauty of email-based approaches. You can just clone, do your changes and `git send-email`. Done.

I think it would've been far easier to build a decent GUI around that flow, with some email integration + a patch preview tool, rather than adding activitypub, but oh well.

some_furry 35 minutes ago | parent | prev | next [-]

I literally logged into codeberg using my GitHub account. It's two clicks of the mouse to do this.

fsflover an hour ago | parent | prev [-]

https://news.ycombinator.com/item?id=33730417

JoshTriplett an hour ago | parent | prev | next [-]

Hopefully one of the efforts to build distributed pull requests will take off, so that all the forges other than github can band together and interoperate.

seg_lol an hour ago | parent [-]

That would be the single best thing that they could do, it would make moving off of github a gain in capabilities.

sdqali 2 hours ago | parent | prev | next [-]

The D in DVCS working as expected.

Zardoz84 2 hours ago | parent | prev [-]

I prefer a pletora of code hosting sites, that one massive hub controlled by a single one. We can see how bad is when there is a monopoly or cuasi-monopoly.

IshKebab 2 hours ago | parent | prev | next [-]

Lack of investment more like. There are a ton of simple and obvious bugs that have persisted well before the AI crazy, e.g. this annoying bug from 2021: https://github.com/orgs/community/discussions/6874

This one is almost a one-line change (technically they need an extra flag in the YAML but that's hardly difficult): https://github.com/orgs/community/discussions/12882#discussi...

That said, I still think Github is fine, and you can't argue with free CI - especially on Windows/Mac. If they ever stop that I'll definitely consider Codeberg. Or if Codeberg gets support for stacked PRs (i.e. dependencies between PRs), then I'm there! So frustrating that Github doesn't support such an obvious workflow.

gaigalas 16 minutes ago | parent | next [-]

> So frustrating that Github doesn't support such an obvious workflow.

It kind of does.

I used this a lot in several jobs to work in dependent tickets in advance. Just make another branch on top of the previous (a PR to the other PR branch).

People could review the child PR before the parent was merged. And it requires some less than trivial git knowledge to manage effectively, but nothing extraordinary. Any solution for stacked PRs based on git would also require it (or a custom tool).

I think I'm on their side on this one. From git perspective, it works just as I expect. Something else probably belongs to JIRA or project management instead.

sevenseacat 10 minutes ago | parent [-]

That feels like the opposite of what I think stacked PRs are? Like someone will open PR #1 for one feature, and then PR #2 into the PR #1 branch, but it doesn't make sense without knowing the context of PR #1 so that gets reviewed first - and then when that PR gets merged, the second one gets automatically closed by GitHub?

hinkley 2 hours ago | parent | prev [-]

Not spending on maintenance is bad.

Not spending on maintenance and spending gobs on something many people don’t want is far worse. It says we have the money, we just don’t give a fuck.

jiqiren an hour ago | parent | next [-]

The evidence of AI failure is all this low hanging fruit maintenance fixes users are begging Microsoft to fix and these AI agents are not fixing them. AI was going to 10x engineers or something right? Why isn’t GitHub getting better with all this AI help?

bayindirh an hour ago | parent | prev [-]

Isn't this SOP of Microsoft since forever? Tons of papercuts which really hurt, and tons of features nobody wants?

I think this is the natural outcome of "chasing points" mechanic inside Microsoft.

brabel 2 hours ago | parent | prev | next [-]

In other news today, Bun, which is one of the biggest projects written in Zig, joined Anthropic, the company behind Claude Code, and has nothing but kind words to say about AI. If Zig becomes ever more hostile to AI, I wonder if there may be some "friction" there.

jazzyjackson 2 hours ago | parent [-]

Why would zig care that a project written in zig is used for AI?

pjmlp an hour ago | parent | next [-]

Usually programming languages need that killer project to sell themselves, instead of being something only language nerds play with, Bun was one of such projects.

Meneth an hour ago | parent | prev [-]

And if they did, what could they possibly do?

NitpickLawyer an hour ago | parent | prev [-]

Last week the reason for the move was MS tools being used by the baddies. Today AI is the baddie du jour. To use a great quote "either do or don't, but I got places to be".

otikik an hour ago | parent | next [-]

> I got places to be

Like, reading and posting on Hacker News?

latexr an hour ago | parent | prev [-]

The original post was specifically about technical grievances, “MS tools being used by the baddies” was mentioned only in passing.

https://ziglang.org/news/migrating-from-github-to-codeberg/

> Putting aside GitHub’s relationship with ICE

That was the extent of it. Six words.

Furthermore, this submission is an independent post, not from Zig, reporting on the original and adding more context.

> To use a great quote "either do or don't, but I got places to be".

What exactly is your complaint? The move had already been completed at the time of the original Zig post. They did do it.

There’s no incongruence between posts. The nature of your discontent or how it could possibly affect you isn’t clear in the slightest.