For those who moved away from GitHub: do you miss the social/discovery side of it?
I mean things like comments on issues/PRs, stars, followers, finding existing repos, seeing which projects are popular, and getting drive-by contributions.
Or does that matter less than I imagine once you self-host and mirror public repos back to GitHub/Codeberg?
I used to love browsing GitHub Explore Trending but in the last two years it is almost exclusively AI apps that are slight improvement on the previous trending page of AI apps.
GitHub explore could be way more interesting with a simple filter algorithm.