By the way, since there's now a black market for GitHub stars (or just "hey community please put a star for our project everyone!") -- we switched to measuring number of issues for open-source projects. That metric is also gameable, but so far less so than stars.