Stars ceased to be relevant a long time ago, around the time Github went from a beloved pillar of the open-source community to just another facet of the Microsoft behemoth.