GitHub repository: tidb-community-bots/probot-commands-pro
Primary language: JavaScript
Description: A Probot extension that adds slash commands to GitHub.