docs: def get_url(profile, resource):
      """Get the URL for a resource.
  
      Args:
  
          profile
              A profile generated from ``simplygithub.authentication.profile``.
              Such profiles tell this module (i) the ``repo`` to connect to,
              and (ii) the ``token`` to connect with.
  
          resource
              The part of a Github API URL that comes after ``.../:repo/git``.
              For instance, for ``.../:repo/git/commits``, it's ``/commits``.
  
      Returns:
          The full URL for the specified resource under the specified profile.
  
      """
      repo = profile["repo"]
      url = GITHUB_API_BASE_URL + "repos/" + repo + "/git" + resource
      return url