Well I'm not really an expert but I feel that the number of contributors on github is a reflection of the number of developers the team. I'll confirm and update here.