> You're running what aims to be a major programming language - have it where people expect and live with your gripes about the platform.

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.