Gregory's Server@aral github is just a git remote and free bandwidth to host binaries. We're not migrating to some other service that would probably not offer massive amounts of storage while disrupting years of issue tracking just because MS is running out of ideas to implement. That would be shooting ourselves in the foot.
@mathieucomandon @aral Yeah it’s tough. GitHub operates at a stupid scale that the likes of Codeberg can’t match. I’ve seen conversations around moving nixpkgs to Coderg or a self hosted Forgejo instance but logistically it’s impossible without a larger company sponsoring the technical work and costs.