GitHub repository: tidb-community-bots/challenge-bot
Primary language: TypeScript
Description: A bot for challenge program.