[GitHub] [echarts] echarts-bot[bot] commented on pull request #18415: chore: update KEYS

2023-03-23 Thread via GitHub
echarts-bot[bot] commented on PR #18415: URL: https://github.com/apache/echarts/pull/18415#issuecomment-1482139711 Congratulations! Your PR has been merged. Thanks for your contribution!  -- This is an automated message from the Apache Git Service. To respond to the message, please log

[GitHub] [echarts] echarts-bot[bot] commented on pull request #18415: chore: update KEYS

2023-03-23 Thread via GitHub
echarts-bot[bot] commented on PR #18415: URL: https://github.com/apache/echarts/pull/18415#issuecomment-1482139501 To reviewers: If this PR is going to be described in the changelog in the future release, please make sure this PR has one of the following labels: `PR: doc ready`, `PR: