🤖 A GitHub App that used to sync tidb community info to the database, for providing basic data for other bots.