This bot integrates Discord with GitHub, allowing users to manage GitHub issues directly from Discord. /github issue_comment issue_ref: <issue_number_or_url> comment: <comment_text>: Adds a comment to ...
An interactive CLI tool for managing Git worktrees with a beautiful Rich-based interface. Simplify worktree creation, management, and visualization with guided workflows and comprehensive status ...
GitHub's new Agents tab centralizes Copilot coding agent sessions in a repository, making it easier to launch tasks, track progress, and review the resulting pull requests in standard tooling such as ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results