Codeberg != isolation

I wasn't saying that codeberg was isolation, I'm saying that you don't have to extract yourself from all non-European tools and dependencies in order to maintain sovereignty.

Codeberg is big and popular enough that it shows up in web search results

Not from what I can see.

search for “zig source code”

Sure, if you search for something you are explicitly aware is on Codeberg, you'll find... links to Codeberg.

But if you search for "source code repositories", "where to find open source software", "where to find source code for software", you get #1 Github, then Sourceforge, then other random ones like Google Code Repos.

Even from the projects you listed, I've only heard of Forgejo (and that's only because I was explicitly searching for self-hosted code repo software), and Librewolf (Alpine is on their own Gitlab instance). Also, listing the software that the website itself is built on as evidence of big projects hosting there is a little obama-giving-himself-a-medal-meme-y.

I'm not saying Codeberg is bad, or that people shouldn't use it, but it's not well-known and is not something to shame people for not using.