code: def repository(name):
      
      user_id = current_user.id
      github = GitHubAPI(user_id=user_id)
      token = github.session_token
  
      if token:
          repos = github.account.extra_data.get('repos', [])
          repo = next((repo for repo_id, repo in repos.items()
                       if repo.get('full_name') == name), {})
          if not repo:
              abort(403)
  
          try:
              # NOTE: Here we do not check for repository ownership, since it
              # might have changed even though the user might have made releases
              # in the past.
              repo_instance = Repository.get(user_id=user_id,
                                             github_id=repo['id'],
                                             check_owner=False)
          except RepositoryAccessError:
              abort(403)
          except NoResultFound:
              repo_instance = Repository(name=repo['full_name'],
                                         github_id=repo['id'])
  
          releases = [
              current_github.release_api_class(r) for r in (
                  repo_instance.releases.order_by(db.desc(Release.created)).all()
                  if repo_instance.id else []
              )
          ]
          return render_template(
              current_app.config['GITHUB_TEMPLATE_VIEW'],
              repo=repo_instance,
              releases=releases,
              serializer=current_github.record_serializer,
          )
  
      abort(403)
docs: Display selected repository.