Skill: GitHub Integration

Goal

Perform GitHub operations across all tracked repositories in orgs/**, including issue/PR management, repository synchronization, and automation workflows.

Use This Skill When

• You need to interact with GitHub from multiple repositories
• You need to project issues/PRs into the workspace
• You need to mirror PRs between repositories
• You need to run GitHub CLI commands across multiple orgs

Do Not Use This Skill When

• You are only working in a single repository
• The task is unrelated to GitHub operations

Inputs

• GitHub repository (owner/repo format)
• GitHub action (issues, PRs, branches, etc.)
• GitHub token (required for most operations)