I doubt it. Nix has a ton of infrastructure and contributors there. Plus they wouldn’t gain anything immediately tangible from it. Codeberg is still git with a very similar UX to GitHub. Not the same can be said for Savannah.

That doesn’t mean it’d be a bad choice in the long run. But still.