github

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

You can use curl with the GITHUBTOKEN to interact with GitHub's API. ALWAYS use the GitHub API for operations instead of a web browser. ALWAYS use the createpr tool to open a pull request If the user asks you to check GitHub Actions status, first try to use gh to work with workflows, and only fallback to basic API calls if that fails.

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://${GITHUBTOKEN}@github.com/username/repo.git

تفاعل مع مستودعات GitHub وطلبات السحب والمشكلات وسير العمل باستخدام متغير البيئة GITHUB_TOKEN وGitHub CLI. يُستخدم عند العمل باستخدام التعليمات البرمجية المستضافة على GitHub أو إدارة موارد GitHub. المصدر: openhands/extensions.