title: Get all file names from a Github repo through the Github API
body: <p>Is it possible to get all the file names from repository using the GitHub API?</p>
  
  <p>I'm currently trying to tinker this using <a href="https://github.com/PyGithub/PyGithub" rel="noreferrer">PyGithub</a>, but I'm totally ok with manually doing the request as long as it works.</p>
  
  <p>My algorithm so far is:</p>
  
  <ol>
  <li>Get the user repo names</li>
  <li>Get the user repo that matches a certain description</li>
  <li>??? get repo file names?</li>
  </ol>