get_github_activity
Fetch live GitHub pull requests for a user or specific repository. Retrieve recent activity across tracked repos or filter by owner/repo.
Instructions
Fetch Pavan's latest GitHub pull requests (live from GitHub API).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Optional GitHub repo in 'owner/repo' format (e.g. 'dragonflyoss/client'). If omitted, fetches recent activity across all tracked repos. | |
| limit | No | Max number of PRs to return (default 10, max 30). |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |