Portia Tool CataloguePortia CloudGitHubGitHub Tools Issue: ListList issues in a GitHub repository. Repository: ListLists all public repositories for a GitHub organization. Repository: SearchSearches all public repositories for a specific term. Repository: StarStars a GitHub repository.