Is there a particular reason why they're looking for Github stars?