If all developers switched over from GitHub to nostr git, we’d have it all built out just the way everyone likes it by now.