title: GitHub API: how efficiently get the total contributors amount per repository?
body: <p>Is there a way to efficiently get the amount of all different contributors of a GitHub repository using the GitHub API?</p>
  
  <p>I mean, without necessarily getting all the contributor objects and manually count the total amount.</p>