Isn't Github's algorithm itself based on user votes (stars)?