docs: document new PR and label management tools in README

This commit is contained in:
2026-06-24 00:15:07 -04:00
parent 82fcd5a4bc
commit ccbb44c81e
+7
View File
@@ -41,10 +41,17 @@ Any MCP-compatible agent (Antigravity, Claude Code, etc.) can call these tools n
|------|-------------| |------|-------------|
| `gitea_create_issue` | Create an issue with title, body, remote | | `gitea_create_issue` | Create an issue with title, body, remote |
| `gitea_create_pr` | Open a pull request with title, head, base | | `gitea_create_pr` | Open a pull request with title, head, base |
| `gitea_list_prs` | List pull requests with state/remote |
| `gitea_view_pr` | Get full details of a single pull request |
| `gitea_merge_pr` | Merge a pull request (merge, squash, or rebase) |
| `gitea_delete_branch` | Delete a remote branch |
| `gitea_close_issue` | Close an issue by number | | `gitea_close_issue` | Close an issue by number |
| `gitea_list_issues` | List issues with state/label filters | | `gitea_list_issues` | List issues with state/label filters |
| `gitea_view_issue` | Get full details of a single issue | | `gitea_view_issue` | Get full details of a single issue |
| `gitea_mark_issue` | Claim/release an issue (start/done) | | `gitea_mark_issue` | Claim/release an issue (start/done) |
| `gitea_list_labels` | List all available labels in a repository |
| `gitea_create_label` | Create a new label with custom color |
| `gitea_set_issue_labels` | Replace all labels on an issue |
| `gitea_mirror_refs` | Mirror branches + tags between instances | | `gitea_mirror_refs` | Mirror branches + tags between instances |
### Setup ### Setup