Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions agent/prompt.py
Original file line number Diff line number Diff line change
Expand Up @@ -135,6 +135,7 @@ def _load_default_prompt() -> str:

#### `http_request`
Make HTTP requests (GET, POST, PUT, DELETE, etc.) to APIs. Use this for API calls with custom headers, methods, params, or request bodies — not for fetching web pages.
**Do NOT use this tool to create, update, or otherwise manage GitHub pull requests.** This tool sends no GitHub authentication and will receive a 401 Unauthorized from the GitHub API. Always use `commit_and_open_pr` for GitHub PR operations.

#### `commit_and_open_pr`
Commits all changes, pushes to a branch, and opens a **draft** GitHub PR. If a PR already exists for the branch, it is updated instead of recreated.
Expand Down
4 changes: 4 additions & 0 deletions agent/tools/http_request.py
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,10 @@ def http_request(
) -> dict[str, Any]:
"""Make HTTP requests to APIs and web services.

Do NOT use this tool to create, update, or otherwise manage GitHub pull requests —
always use the `commit_and_open_pr` tool for that. This tool sends no GitHub
authentication and will receive a 401 Unauthorized response from the GitHub API.

Args:
url: Target URL
method: HTTP method (GET, POST, PUT, DELETE, etc.)
Expand Down
Loading