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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results