Zig migra o repositório principal do GitHub para o Codeberg

(ziglang.org)

8 pontos por GN⁺ 2025-11-28 | 4 comentários | Compartilhar no WhatsApp

O repositório da linguagem de programação Zig deixa o GitHub, usado por 10 anos, e migra para o Codeberg
A principal razão foi a queda de desempenho e os bugs do GitHub, especialmente a instabilidade e o abandono do Actions
A política centrada em IA do GitHub e a exposição forçada de recursos do Copilot entram em conflito com a política de “no LLM / no AI” do Zig
O GitHub Sponsors ainda é uma grande fonte de receita, mas foi considerado um risco de dependência, por isso é recomendada a migração do apoio para o Every.org
A mudança para o Codeberg também representa o fortalecimento de um ecossistema sem fins lucrativos e orientado ao interesse público

Contexto da migração do GitHub para o Codeberg

O projeto Zig era hospedado no GitHub desde o git init, há 10 anos
- Após a aquisição do GitHub pela Microsoft, a avaliação é de que a qualidade da plataforma piorou
O texto afirma que, devido ao colapso da cultura de engenharia e das prioridades do GitHub, a plataforma se transformou em um framework JavaScript lento e cheio de bugs
O GitHub Actions teria “bugs inaceitáveis” e praticamente não estaria sendo mantido
- Após a fala do CEO de “aceite a IA ou vá embora”, o texto diz que o Actions passou a apresentar um fenômeno de ‘vibe-scheduling’, executando tarefas de forma aleatória
- Isso gerou problemas em que o sistema de CI ficava paralisado sem possibilidade de intervenção manual
Para resolver esses problemas, o Zig decidiu migrar para um novo provedor de hospedagem Git

Problemas relacionados ao GitHub e IA

O texto menciona que a exposição forçada dos recursos do Copilot no GitHub levou a violações da política de “no LLM / no AI” do Zig
- Como casos relacionados, são apresentados três links de PRs do GitHub (A, B, C)
Com a migração para o Codeberg, a expectativa é de reduzir violações de política relacionadas a IA

GitHub Sponsors e a estrutura de apoio

O GitHub Sponsors teve um papel fundamental no financiamento inicial do Zig e ainda representa uma grande parcela da receita
Graças à contribuição de Devon Zuegel, muitos desenvolvedores puderam obter renda via GitHub, mas, após sua saída, o produto estaria abandonado e em declínio
A Zig Software Foundation considera o GitHub Sponsors um “passivo” (liability)
- A fundação pede aos apoiadores que migrem suas doações recorrentes para o Every.org
- Os benefícios para apoiadores no GitHub Sponsors — como nome no site e menção nas notas de versão — serão encerrados
- Estão sendo preparados benefícios equivalentes via Every.org

Plano de migração e detalhes técnicos

O repositório ziglang/zig no GitHub passa imediatamente para modo somente leitura (read-only)
O repositório oficial passa a ser https://codeberg.org/ziglang/zig.git
Há agradecimentos ao Forgejo e à comunidade do Codeberg pelo suporte
- Em especial, são citados Earl Warren, Otto, Gusted e Mathieu Fenniak
Para evitar o vendor lock-in do GitHub, foi adotada uma estratégia simples
- As issues existentes no GitHub serão mantidas como estão, e no Codeberg as issues começarão a partir do número 30000
- Issues e PRs antigos no GitHub permanecerão lá e só serão movidos para o Codeberg se precisarem de edição ou comentários
- PRs e issues antigos continuarão sendo revisados

O significado para o ecossistema sem fins lucrativos

Em meio às fusões e aquisições, à fraca regulação antitruste e ao capitalismo de plataforma da atualidade,
o texto menciona as organizações sem fins lucrativos como a última linha de defesa do espaço público
O texto termina com “Happy hacking”

4 comentários

GN⁺ 2025-11-28

Opiniões no Hacker News

Dei risada ao ver o projeto Zig migrar para o Codeberg citando casos de violação da política contra LLM/IA do GitHub (exhibit A, B, C)
Foi especialmente curioso que a pessoa envolvida no questionamento do exhibit A seja a mesma que apareceu na capa do HN alguns dias atrás
- Minha regra antiga era: “programar é ‘se funciona no meu computador, está bom’, mas engenharia de software não é assim”
  Agora virou: “pode até escrever código com IA, mas engenharia não”
- Se você olhar o GitHub do GhostKellz, há dezenas de projetos que não funcionam feitos em Zig e Rust
  E ele ainda está confundindo outras pessoas até na issue do zquic
- Ele também enviou uma grande quantidade de código gerado por IA no PR do StaticCompiler para Julia
- O mais engraçado foi se gabar neste tweet de que “o Claude corrigiu um bug do compilador Zig” e,
  poucos minutos depois, aparecer o link do PR
  Se um dia perguntarem numa entrevista qual foi sua maior conquista, ele provavelmente responderá: “fui o responsável por expulsar o Zig do GitHub”
- A essa altura, já não sei se é apenas trollagem ou se ele está falando sério
Concordo com a crítica de que o recurso do GitHub de “abrir issue com Copilot” incentiva violações da política de IA
Também acho que muita gente usa o GitHub com a motivação de deixar o perfil bonito para aumentar as chances de conseguir emprego
- Mas será mesmo que abrir um monte de PR aleatório ajuda na contratação?
  Pela minha experiência, recrutadores e entrevistadores quase nunca olham o perfil no GitHub
- Na prática, o GitHub já é perfeitamente utilizável só como hospedagem de git
  Por exemplo, como o torvalds/linux, dá para usar apenas como espelho, sem issues nem PRs
- Antes eu destacava o CODE_OF_CONDUCT.md, mas agora estou com vontade de incluir uma cláusula dizendo para não mandar código lixo para o repositório
Dizem que o motivo de o Zig ter saído do GitHub para o Codeberg foi a questão de clientes da ICE (Serviço de Imigração e Controle de Alfândega dos EUA),
mas o Codeberg também usa PayPal, e o PayPal faz parte de uma organização ligada à ICE
Esse tipo de “espiral de pureza” (purity spiral) acaba levando ao isolamento
- Mas eu não chamaria isso de “espiral de pureza”
  É apenas uma escolha prática com considerações éticas. Mudar do GitHub para o Codeberg não foi um grande peso
- O mundo não é preto no branco. Exigir apenas escolhas perfeitamente consistentes é uma armadilha dos cínicos
  Tentar reduzir danos dentro do possível ainda tem valor
- A comunidade Zig tem uma tradição de rejeitar ferramentas existentes e construir ela mesma ferramentas melhores
  Estou até esperançoso de que isso possa levar à criação de “uma plataforma melhor que o GitHub”
- Claro, independentemente da relação entre GitHub e ICE, a maior parte do texto tratava de motivos técnicos
- Fazer negócio diretamente com o GitHub e ter um processador de pagamentos que coopera com essas organizações são coisas diferentes
  Não existe alternativa perfeita, mas é perfeitamente compreensível escolher a menos ruim
Pelo estado da infraestrutura do Codeberg, parece que ele é operado com hardware instável mantido por doações da comunidade
Pelo post oficial no blog,
parece mais um projeto de hobby do que um ambiente de produção estável
- Dei risada lendo a parte da infraestrutura no texto.
  Parece um ambiente em que o Chaos Monkey está rodando ao vivo
  Ainda assim, é impressionante a capacidade técnica de manter aquele servidor funcionando
  Mas eu vou manter um espelho do repositório Zig no meu próprio servidor
- Fiquei curioso sobre por que o Zig escolheu o Codeberg em vez de auto-hospedagem (gitea ou forgejo)
  Mudar só de sair do GitHub já é uma grande mudança, então talvez isso tivesse sido uma escolha mais segura em termos de estabilidade
- A página de status do Codeberg está sempre verde, mas na prática parece haver falhas a cada poucos minutos
É exagero atacar o GitHub Actions chamando-o de “o melhor CI grátis feito por macacos”
Para um projeto sem orçamento de milhões de dólares, como a Zig Foundation, ele ajuda muito
Mas chamar o GitHub Sponsors de “peso” também parece exagerado
- A equipe do Zig rebate que não se deve ignorar os problemas técnicos do GitHub Actions
  Nós operamos nossas próprias máquinas de CI, então os runners gratuitos não têm utilidade
  E “milhões de dólares” não é verdade. Quase tudo roda em hardware de consumo nas casas dos membros da equipe
  O GitHub Sponsors foi trocado pelo Every.org porque existe o risco de a Microsoft aumentar as taxas ou encerrar o serviço a qualquer momento
- Quem já usou GitLab ou Jenkins provavelmente teve uma experiência melhor do que com o GitHub Actions
  A documentação também é fraca, e até o tratamento de regex era pouco claro
- O runner do macOS 15 está há meio ano abandonado com um bug de CPU em 100%
  Veja a issue relacionada
- A única vantagem do CI do GitHub é oferecer runners de Mac grátis
- A qualidade é tão baixa que dá vontade de dizer que “seria melhor se o Actions tivesse sido feito por macacos”
O que mais impressionou foi como os contribuidores do Forgejo e do Codeberg ajudaram diretamente
Dá para sentir a dedicação de pessoas citadas pelo nome, como Earl Warren, Otto, Gusted e Mathieu Fenniak
- Esse tipo de espírito comunitário genuíno é algo que se percebe em muitos projetos de software livre
É amargo ver no Hacker News um clima de defesa da Microsoft e ataque às comunidades alternativas
Isso parece distante do velho espírito hacker
- Ainda assim, parece que as pessoas não estão defendendo a Microsoft, mas questionando a forma da migração, a escolha da alternativa e o tom agressivo
- Expressões como “o Actions foi feito por macacos” soam como ataques infantis
- Houve um tempo em que a Microsoft parecia melhorar depois do Ballmer,
  mas agora parece estar regredindo com propaganda e exagero em IA
Dou boas-vindas à migração para o Codeberg. O SourceHut também é bom, mas acho o Codeberg uma alternativa mais estável e duradoura
Eu também saí do GitHub
- Mas agora já existem plataformas demais, e isso cansa
  GitHub, GitLab, SourceHut, Codeberg etc.; no fim, a maioria dos recursos é parecida
  A centralização tinha suas vantagens, mas o surgimento de concorrência é algo positivo
- É uma pena que o Drew tenha se afastado do SourceHut e que tenha insistido num fluxo de trabalho centrado em mailing list
- Já ouvi dizer que o fundador do SourceHut é “um pouco instável”, e fiquei curioso sobre o que isso quer dizer
- O maior problema do SourceHut é a falta de funcionalidade de organização (organization)
  Para projetos grandes com vários repositórios, isso é inconveniente
Mais do que a menção à ICE, a frase de que “quem ficou continua impondo frameworks JS cheios de bugs” parece revelar melhor a inclinação do autor
- “Não apoio uma organização paramilitar nacionalista” é uma posição óbvia
  Organizações fechadas e sem responsabilização não devem receber apoio de forma alguma
- O autor do texto é Andrew Kelley, criador do Zig
  Ele tem uma personalidade parecida com a do Linus, e isso dá para perceber no post dele no Mastodon e na carta de autorreflexão
- Também houve a reação sarcástica: “já que renomearam a branch master, então o problema da ICE está resolvido, né?”
O Codeberg atualmente tem deficiência em acessibilidade para pessoas com deficiência visual
Por causa de um CAPTCHA baseado em imagem, usuários de leitor de tela não conseguem se cadastrar
Existe um processo manual, mas o prazo de resposta é incerto
- Mas na página da issue
  há a informação de que eles reconhecem o problema de acessibilidade do CAPTCHA e planejam removê-lo
  Criticar o Codeberg com base na velocidade de resposta da Wikimedia não parece adequado
- É triste a cultura, em ferramentas de desenvolvimento, de tratar acessibilidade como luxo
  A IA pode até melhorar a acessibilidade, mas também me preocupa que ela acabe impondo mais carga aos usuários
- Não entendo por que acessibilidade é tratada como questão política
- O pacote de CAPTCHA que eles usam tem recurso de CAPTCHA em áudio,
  então fica a dúvida de por que isso não foi ativado

secret3056 2025-11-28

Saindo da AWS, saindo do LLVM, saindo do GitHub... realmente é bem hipster...

aer0700 2025-11-28

Vendo tudo isso reunido, fica bem impressionante
Se largar o Windows e ficar só com Linux e macOS, fica perfeito...