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 ...