code: def getLoader(user, repo, sha=None, prov=None):
      
      if user is None and repo is None:
          loader = LocalLoader()
      else:
          loader = GithubLoader(user, repo, sha, prov)
      return loader
docs: Build a fileLoader (LocalLoader or GithubLoader) for the given repository.