GitHub Outside Sandbox

SkillDev tools

Lets your agent run git and GitHub commands directly on your machine when its sandbox blocks them, useful as a github claude skill.

Available today. Use it from your connected AI after setup.

Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.

Then ask your AI: use the GitHub Outside Sandbox skill

About this skill

Run Git and GitHub CLI commands on the host when sandboxing blocks Keychain auth, network access, or .git writes. Use for gh auth, repo/PR operations, index.lock, or permission errors; covers execution context only.

What this skill tells your AI

The instructions your AI receives, as published by davidondrej/skills in skills/ops-and-setup/github-outside-sandbox/SKILL.md and read by ahel’s review.

  1. Start normally. Escalate only the blocked command and only within the user's authorization.
  2. If sandboxed gh auth status fails, rerun it outside the sandbox before claiming authentication is broken. Never expose or copy tokens.
  3. Run GitHub CLI network operations outside the sandbox when required: gh repo ..., gh pr ..., and related gh commands.
  4. Run Git writes outside the sandbox when .git is outside writable roots or errors mention index.lock or Operation not permitted: git add, git commit, and git push.
  5. Use the harness's official host-execution mechanism. In Codex, set sandbox_permissions: "require_escalated", give a concrete justification, and use only a narrow safe prefix_rule when appropriate.
  6. Never use shell wrappers, credential copying, or broad approval prefixes to bypass the sandbox.
  7. Verify from the host context with git status -sb, git remote -v, and the relevant gh ... view command. Ask the user to authenticate only if the host-context check also fails.

Signals

GitHub stars
4k
Forks
598
Last commit
Sep 2026

ahel review

  • S4info
    community integration, published by davidondrej, not github

Automated review, not a security audit. Ruleset v1+k2.

Advanced
Item type
skill
Key
github-outside-sandbox
Source
github.com/davidondrej/skills