github-operations

name	github-operations
description	Handles GitHub issues, pull requests, releases, and search workflows.

GitHub Operations Skill

Use for repository operations that require issue/PR/release management.

Workshop Context

• Prefer issue updates that track workshop content improvements.
• Keep PR summaries explicit about participant vs facilitator impact.
• Validate links and changed paths in documentation-focused PRs.