On: Zig quits GitHub, says Microsoft's AI obsession has ruined the service

[mkornaukhov]

I would say that your comment is an addition to mine, and I think so too. This is another reason for the popularity of github.

As for me, this does not negate the convenient things that I originally wrote about.