Ovilia commented on PR #17201: URL: https://github.com/apache/echarts/pull/17201#issuecomment-1153581873
> Is it necessary to label `PR: doc unchanged` if one PR is unrelated to the documentation? I'm thinking adding a "Check" before merging that checks if the PR contains one of the document related labels if it contains milestone information. So if a PR should be presented in the changelog, it should have milestone information before being merged and should have a document related label. On the other hand, if a PR should not be presented in the changelog (e.g. workflow changes), it doesn't need to have any document related labels. I think this can help managing the document much better. Comments are welcomed and if we think this approach doesn't work well, we can adjust it in the future. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
