tools.github_tools module
GitHub API tools using per-user OAuth tokens.
Provides repository, issue, PR, gist, notification, and code-search operations via the GitHub REST API. Requires the user to have connected their GitHub account via the OAuth flow (connect_service tool).
- async tools.github_tools.github_list_repos(visibility='all', sort='updated', per_page=20, page=1, ctx=None)[source]
- async tools.github_tools.github_search_code(query, per_page=10, page=1, ctx=None)[source]
- Return type:
- Parameters:
query (str)
per_page (int)
page (int)
ctx (ToolContext | None)
- async tools.github_tools.github_create_issue(owner, repo, title, body='', labels=None, assignees=None, ctx=None)[source]
- async tools.github_tools.github_list_issues(owner, repo, state='open', labels='', per_page=20, page=1, ctx=None)[source]
- async tools.github_tools.github_list_pull_requests(owner, repo, state='open', sort='created', per_page=20, page=1, ctx=None)[source]
- async tools.github_tools.github_get_pull_request(owner, repo, pull_number, include_diff=False, ctx=None)[source]