Skip to content

Instantly share code, notes, and snippets.

@sliekens
Created September 5, 2025 18:26
Show Gist options
  • Select an option

  • Save sliekens/20b36e04535dd4312d581a1fc325c88c to your computer and use it in GitHub Desktop.

Select an option

Save sliekens/20b36e04535dd4312d581a1fc325c88c to your computer and use it in GitHub Desktop.
Overview of tools available in GitHub context
The tools available in the `#github` context typically include features for managing repositories, issues, pull requests, and workflows. Specific tools may vary based on the GitHub API and the integrations you have set up, but generally, they include:
- **Repository Management**: Create, update, and delete repositories.
- **Issue Tracking**: Create, comment on, and close issues.
- **Pull Requests**: Create, review, and merge pull requests.
- **Actions**: Manage GitHub Actions for CI/CD workflows.
- **Webhooks**: Set up webhooks for event-driven integrations.
- **API Access**: Use the GitHub API for custom integrations and automation.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment