On: Migrating the main Zig repository from GitHub to Codeberg

[ivanjermakov]

> Well, I almost single-highhandedly drove Zig away from Github

If you think about it, Joel is net positive to Zig and its community!