PIP 176: Refactor Doc Bot to Improve Efficiency of Managing Doc
documentation label check
is changed to label check
after it is set to required
.This blocks many PRs, eg. https://github.com/apache/pulsar/pull/16298, https://github.com/apache/pulsar/pull/16023
This might be caused by GitHub Action limitations https://stackoverflow.com/questions/52200096/github-pull-request-waiting-for-status-to-be-reported
Can you please take a look at it at your earliest convenience? Thank you!
[ ] P1: when the PR description is empty and the PR author selects labels from Labels, the doc bot should work normally.
[ ] P2: configure the doc bot to other branches except for master - [x] 2.10. Obsever the results and set for other branches if it works well - [ ] 2.9 - [ ] 2.8 - [ ] 2.7
When fixing https://github.com/apache/pulsar/issues/15732, @maxsxu found that the doc Bot was implemented by modifying dist
rather than src
, which makes it hard to maintain and scale.
Consequently, he suggests refactoring the doc Bot along with resolving the following issues in Bot:
This PR was marked with doc-related labels and then removed. No doc-related label is marked for this PR.
In this case, this PR should be labeled w/ doc-label-missing
.
Doc Bot only works for master change.
Doc Bot should work for all branches and label all PRs.
Bot labels this PR with several doc labels.
Bot should label a PR with only a doc label.
Set documentation label check as one of the GitHub checks.