Would a diaspora from GitHub be that bad? I don't see particularly big benefits from having every project being hosted in one place. Monopolies with network effects tend to enshittify.