Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

Post reply on HN
Print view View original

31–40 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#31

Post by p-e-w »

manquer wrote: post #15
SoKamil wrote: post #9

> 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 .

Pull requests are not optional on GitHub. Users have been begging for more than a decade for an option to disable pull request for a repository, and GitHub continues to ignore them.

Re: Migrating the main Zig repository from GitHub to Codeberg

#33

Post by mason_mpls »

bigyabai wrote: post #24
linkage wrote: post #20

Earlier quoted context omitted.

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.

Given the trajectory of Microsoft products it stands to reason Github’s future is uncertain. Also Git is ultimately a hosting platform that any competent software shop can recreate; the people behind the platform matter more than the platform itself.

Re: Migrating the main Zig repository from GitHub to Codeberg

#34

Post by woodruffw »

I don’t have strong opinions about Zig or Codeberg, but I find the self-described status of the latter’s infrastructure concerning[1]: they’re seemingly running faulty hardware in production with limited redundancy, and are actively soliciting more hardware of unknown quality/reliability/provenance from their community. This is cool for a hobbyist project, but it doesn’t scream “stable platform for a post-GitHub world,” which is how I’ve seen Codeberg (aspirationally) described.

[1]: https://blog.codeberg.org/letter-from-codeberg-onwards-and-u...

Re: Migrating the main Zig repository from GitHub to Codeberg

#35

Post by quirino »

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy,

Hilarious how the offender on "exhibit A" [1] is the same one from the other post that made the frontpage a couple of days ago [2].

[1] https://github.com/ziglang/zig/issues/25974

[2] https://news.ycombinator.com/item?id=46039274

Re: Migrating the main Zig repository from GitHub to Codeberg

#36

Post by do_not_redeem »

Congratulations on the move!

> Thank you to the Forgejo contributors who helped us with our issues switching to the platform, as well as the Codeberg folks who worked with us on the migration

I'd love to see a writeup about these problems/solutions at some point.

Re: Migrating the main Zig repository from GitHub to Codeberg

#38

Post by dsissitka »

gwerbret wrote: post #12
bitbasher wrote: post #2

I'm happy to see the move. Codeberg is probably a more stable/long-term solution than SourceHut as the founder is slightly unhinged (but love what he has built). Honestly, either would have been great choices. More opensource projects should move off GitHub. I moved off it myself.

> 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?

Maybe the incident:

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

https://dmpwn.info/

Re: Migrating the main Zig repository from GitHub to Codeberg

#39

Post by ehnto »

Arcuru wrote: post #29

For 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 n…

What do you find lacking in tooling in that regard?

I don't think there is all that much friction in distributing git, it's one of the easiest tools to have multiple remotes on. The auxiliary tooling is all open source too, so not much in the way of hosting your own, or for hosted platforms offering the services.

The social aspect of the hosted platforms is unlikely to ever be distributed because that is basically githubs only differentiation.

Post reply on HN