Support and workflows for the GitHub integration skill, enabling agents to interact with issues, pull requests, and CI.