GitHub: How many thumbs-up?