GitHub CLI Skill

Trit: 0 (ERGODIC - coordinates between local and remote)
Foundation: gh CLI + GitHub API

Core Concept

GitHub CLI bridges local development with GitHub:

• Issue and PR management
• Repository operations
• Workflow dispatch
• API queries

Common Commands

# Issues
gh issue list
gh issue create --title "Bug" --body "Description"
gh issue view 123

# Pull Requests
gh pr list
gh pr create --fill
gh pr checkout 456
gh pr merge --squash

# Releases
gh release list
gh release create v1.0.0 --generate-notes

# API queries
gh api repos/{owner}/{repo}/issues
gh api graphql -f query='{ viewer { login } }'

Extensions

# Install extension
gh extension install dlvhdr/gh-dash

# Run extension
gh dash

GF(3) Integration

# Label issues with GF(3) trits
gh issue edit 123 --add-label "ternary:+"
gh issue edit 124 --add-label "ternary:0"
gh issue edit 125 --add-label "ternary:-"

Canonical Triads

bisimulation-game (-1) ⊗ gh-cli (0) ⊗ gh-interactome (+1) = 0 ✓
code-review (-1) ⊗ gh-cli (0) ⊗ changelog-generator (+1) = 0 ✓