Git being "distributed" version control is meant as distributed because it doesn't require a central checkout server, and GitHub is simply a distribution (not checkout) server
Yes absolutely, but I meant the workflows most people use these days (PRs) has turned GitHub into a “central” server.
Well it’s still kind of distributed with github because you can still have local branches that differ from the remote.