You're running what aims to be a major programming language - have it where people expect and live with your gripes about the platform.
In retail you set up your store in the biggest mall with the most customers walking past - sure you can go set up in some back alley but don't expect customers to come to your store. This remains true even if the mall owns forget to mop the floor.
This feels immature and does not give confidence in the project/language leadership.
The core types who will make use of, contribute to, and/or otherwise use the repo likely don't need it to be on GitHub. Having it "where people expect" is useful for drive-by contributions but Zig doesn't really need that.
Furthermore, why should we as a larger community cede things to GitHub and Microsoft? It doesn't change unless larger parties move the needle.
For an example of another language that avoids being entirely coupled into Github, Go has it's real code hosting and CI interaction on a Gerrit instance, with some sync back and forth to GitHub for a few items.
The CI pain and operational blindness mentioned in the Zig post is entirely real.
Zig needs to behave more mainstream rather than less and technical gripes about the source hosting platform should not matter more than marketing.
People who get angry when they see bad code, so much to call the developers lackeys and monkeys.
And an organization whose code base doesn't have to be on a mainstream server to attract exactly those who agree with this choice.
so making tough decisions is now immature this days lol.
> mall owns forget to mop the floor
quite a whitewashing i would say.
Perhaps people should stop expecting all source code to be on a microsoft platform?
Not that I necessarily disagree with their reasoning, but stick to having strong feelings about your core "mission"? It just feels a bit "unstable". Hard to imagine such stuff coming from Java or Python or whatever other major language
[0]: https://sqlite.org/copyright.html#:~:text=Open%2DSource%2C%2...
It is deeply unfortunate that Git won instead of Mercurial and even more unfortunate that GitHub won. GitHub's code review/PR UI is an abomination. We had better tools 15 years ago and GitHub is still a regression. There are tons of reasons to move off it if you're willing to pay the cost of working with alternatives.