GitHub skill
Planned tools
Section titled “Planned tools”| Tool | Description |
|---|---|
list_pull_requests | List open PRs for a repository |
get_pull_request | Get PR details, reviews, and status checks |
rerun_workflow | Re-run a failed GitHub Actions workflow |
get_workflow_logs | Fetch logs from a failed job |
list_commits | List recent commits on a branch |
Setup (when available)
Section titled “Setup (when available)”When the GitHub integration ships, you’ll connect it from your dashboard, with no tokens to manage by hand.