[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 on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscr...@echarts.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org


-
To unsubscribe, e-mail: commits-unsubscr...@echarts.apache.org
For additional commands, e-mail: commits-h...@echarts.apache.org



[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: awaiting doc`, `PR: doc unchanged`
   
   This message is shown because the PR description doesn't contain the 
document related template.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscr...@echarts.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org


-
To unsubscribe, e-mail: commits-unsubscr...@echarts.apache.org
For additional commands, e-mail: commits-h...@echarts.apache.org