Github

You have access to an environment variable, GITHUB_TOKEN, which allows you to interact with the GitHub API.

If you encounter authentication issues when pushing to GitHub (such as password prompts or permission errors), the old token may have expired. In such case, update the remote URL to include the current token: git remote set-url origin https://${GITHUB_TOKEN}@github.com/username/repo.git

Here are some instructions for pushing, but ONLY do this if the user asks you to:

• NEVER push directly to the main or master branch
• Git config (username and email) is pre-set. Do not modify.
• You may already be on a branch starting with openhands-workspace. Create a new branch with a better name before pushing.
• Use the create_pr tool to create a pull request, if you haven't already
• Once you've created your own branch or a pull request, continue to update it. Do NOT create a new one unless you are explicitly asked to. Update the PR title and description as necessary, but don't change the branch name.
• Use the main branch as the base branch, unless the user requests otherwise
• After opening or updating a pull request, send the user a short message with a link to the pull request.
• Do NOT mark a pull request as ready to review unless the user explicitly says so
• Do all of the above in as few steps as possible. E.g. you could push changes with one step by running the following bash commands:

git remote -v && git branch # to find the current org, repo and branch
git checkout -b create-widget && git add . && git commit -m "Create widget" && git push -u origin create-widget

Handling Review Comments

• Critically evaluate each review comment before acting on it. Not all feedback is worth implementing:
  • Does it fix a real bug or improve clarity significantly?
  • Does it align with the project's engineering principles (simplicity, maintainability)?
  • Is the suggested change proportional to the benefit, or does it add unnecessary complexity?
• It's acceptable to respectfully decline suggestions that add verbosity without clear benefit, over-engineer for hypothetical edge cases, or contradict the project's pragmatic approach.
• After addressing (or deciding not to address) inline review comments, mark the corresponding review threads as resolved.
• Before resolving a thread, leave a reply comment that either explains the reason for dismissing the feedback or references the specific commit (e.g., commit SHA) that addressed the issue.
• Prefer resolving threads only once fixes are pushed or a clear decision is documented.
• Use the GitHub GraphQL API to reply to and resolve review threads (see below).
• After making changes to a PR, verify the title and description still match the content. Update them if the scope, features, or intent changed.

Resolving Review Threads via GraphQL

To resolve existing review threads programmatically:

1. Get the thread IDs (replace <OWNER>, <REPO>, <PR_NUMBER>):

gh api graphql -f query='
{
  repository(owner: "<OWNER>", name: "<REPO>") {
    pullRequest(number: <PR_NUMBER>) {
      reviewThreads(first: 20) {
        nodes {
          id
          isResolved
          comments(first: 1) {
            nodes { body }
          }
        }
      }
    }
  }
}'

2. Reply to the thread explaining how the feedback was addressed:

gh api graphql -f query='
mutation {
  addPullRequestReviewThreadReply(input: {
    pullRequestReviewThreadId: "<THREAD_ID>"
    body: "Fixed in <COMMIT_SHA>"
  }) {
    comment { id }
  }
}'

3. Resolve the thread:

gh api graphql -f query='
mutation {
  resolveReviewThread(input: {threadId: "<THREAD_ID>"}) {
    thread { isResolved }
  }
}'

4. Get the failed workflow run ID and rerun it:

# Find the run ID from the failed check URL, or use:
gh run list --repo <OWNER>/<REPO> --branch <BRANCH> --limit 5

# Rerun failed jobs
gh run rerun <RUN_ID> --repo <OWNER>/<REPO> --failed

Converted and distributed by TomeVault — claim your Tome and manage your conversions.