On: Migrating the main Zig repository from GitHub to Codeberg

[etyp]

I read it as "this was a big news story which we care about. You may know it, but it is not the primary reason. Here is the primary reason."