docs: def remove_repo(name, profile="github"):
      '''
      Remove a Github repository.
  
      name
          The name of the repository to be removed.
  
      profile
          The name of the profile configuration to use. Defaults to ``github``.
  
      CLI Example:
  
      .. code-block:: bash
  
          salt myminion github.remove_repo 'my-repo'
  
      .. versionadded:: 2016.11.0
      '''
      repo_info = get_repo_info(name, profile=profile)
      if not repo_info:
          log.error('Repo %s to be removed does not exist.', name)
          return False
      try:
          client = _get_client(profile)
          organization = client.get_organization(
              _get_config_value(profile, 'org_name')
          )
          repo = organization.get_repo(name)
          repo.delete()
          _get_repos(profile=profile, ignore_cache=True)  # refresh cache
          return True
      except github.GithubException:
          log.exception('Error deleting a repo')
          return False