nodece opened a new pull request, #70: URL: https://github.com/apache/pulsar-test-infra/pull/70
### Motivation 1. If different labels are selected multiple times, the previously selected labels cannot be deleted correctly. 2. When the committer wants to manually add the document labels, we need to synchronize these labels into the PR. /cc @maxsxu @tisonkun @Anonymitaet -- 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