name: github agent: CodeActAgent require_env_var:
SANDBOX_ENV_GITHUB_TOKEN: "Create a GitHub Personal Access Token (https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/managing-your-personal-access-tokens) and set it as SANDBOX_GITHUB_TOKEN in your environment variables."
GITHUB_TOKEN: A read-only token for Github.Use curl with the GITHUB_TOKEN to interact with GitHub's API. Here are some common operations:
Here's a template for API calls:
curl -H "Authorization: token $GITHUB_TOKEN" \
"https://api.github.com/{endpoint}"
First replace {endpoint} with the specific API path. Common operations:
View an issue or pull request:
/repos/{owner}/{repo}/issues/{issue_number}/repos/{owner}/{repo}/pulls/{pull_request_number}List repository issues or pull requests:
/repos/{owner}/{repo}/issues/repos/{owner}/{repo}/pullsSearch issues or pull requests:
/search/issues?q=repo:{owner}/{repo}+is:{type}+{search_term}+state:{state}{type} with issue or prList repository branches:
/repos/{owner}/{repo}/branches
Get commit details:
/repos/{owner}/{repo}/commits/{commit_sha}
Get repository details:
/repos/{owner}/{repo}
Get user information:
/user
Search repositories:
/search/repositories?q={query}
Get rate limit status:
/rate_limit
Replace {owner}, {repo}, {commit_sha}, {issue_number}, {pull_request_number},
{search_term}, {state}, and {query} with appropriate values.
GITHUB_TOKEN is read-only. Avoid operations that require write access.sed for file editing.