@ariadne @nova A big difference is while github does have things like their issue tracker and whatnot which are proprietary, the core functionality is just build around git and its protocols and nothing prevents me from mirroring my repositories elsewhere, or just using github as a publication service for my self-hosted repositories, and so on. It's easy for me to not rely on it, which I think is one reason I'm willing to use it.