---
title: "Zig quits GitHub, gripes about Microsoft's AI obsession"
url: https://daily.dev/posts/zig-quits-github-gripes-about-microsoft-s-ai-obsession-yv5hvprru
source_url: https://go.theregister.com/feed/www.theregister.com/2025/12/02/zig_quits_github_microsoft_ai_obsession/
type: article
source: "The Register"
published: 2025-12-02T01:14:23.117Z
updated: 2025-12-02T01:14:47.255Z
tags: ["devops", "microsoft", "github", "cicd", "zig"]
reading_time: 5
upvotes: 119
comments: 29
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# Zig quits GitHub, gripes about Microsoft's AI obsession

**[The Register](https://daily.dev/sources/theregister)** · 5 min read · 119 upvotes · 29 comments

## Summary

The Zig Software Foundation is migrating from GitHub to Codeberg, citing declining engineering quality and neglected critical bugs in GitHub Actions. A CPU-spinning bug in GitHub's safe_sleep script went unaddressed for years despite being reported multiple times, causing CI runners to hang indefinitely. Zig's president criticized Microsoft's AI focus as distracting from core platform maintenance, pointing to what he calls 'vibe-scheduling' where jobs run seemingly at random. The move reflects broader developer concerns about GitHub's priorities, with Codeberg doubling its membership since January as other projects also consider leaving.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://go.theregister.com/feed/www.theregister.com/2025/12/02/zig_quits_github_microsoft_ai_obsession/>

## Community discussion

Top comments from developers on daily.dev.

**@jamesdavis7** · 21 upvotes

> Vibe scheduling 😂

**@akkitto** · 10 upvotes

> Still, GitHub remains the biggest platform, with the absolute best UX and security of availability if your project is not political. With Codeberg instances, you never know when the code is available or not. And if you tell me, you are mirroring your code anyway, then there'd be also no need to migrate away from GitHub in the first place, apart from changing HQ.
>
> Am not saying, Codeberg sux or anything. I'm just saying, that it's sooo damn easy to hate on a platform like GitHub while it's still there. If GitHub would disappear over night, hell would break loose and people then would finally...

**@victorperez2911** · 3 upvotes

> OMG
>
> Who is Zig  ? Who is Codeberg ?

**@cobrasnakebyte** · 3 upvotes

> You can tell when corps are overly dependent on "AI" (yes in quotes it's not AGI) because the changes they are making have zero reasoning.

**@ghost** · 3 upvotes

> Andrew Kelly is a wonderful person!

---

Tags: [#devops](https://daily.dev/tags/devops), [#microsoft](https://daily.dev/tags/microsoft), [#github](https://daily.dev/tags/github), [#cicd](https://daily.dev/tags/cicd), [#zig](https://daily.dev/tags/zig)

[View this post on daily.dev](https://daily.dev/posts/zig-quits-github-gripes-about-microsoft-s-ai-obsession-yv5hvprru)