Anonymitaet commented on PR #43:
URL: https://github.com/apache/pulsar-test-infra/pull/43#issuecomment-1155856450
> I think we should remove this functionality. If the label is manually
added, there is no need for the PR body to have the check box. The end goal is
to have the right label on the PR, and if the label is already added, the bot
doesn't need to do anything.
@michaeljmarshall this functionality is useful and needed.
1. Check box
Contributors without committer privilege can label a PR only through a
check box in a PR description. The check box is for their sake.
2. Bot
Some contributors do not provide doc-related labels even if they get
notifications from doc Bot and comments from writers.
Failed doc label check is another way to remind them please show care to
docs. A project is nothing if there are no docs.
> Further, on this PR https://github.com/apache/pulsar/pull/16045, it
appears that the bot updated my PR's body 3 times to add the same string (look
in the PR body history).
@maxsxu has fixed this bug in https://github.com/apache/pulsar/pull/16060
--
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: dev-unsubscr...@pulsar.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
