RFR: 2480: Add new PR command /ping [v2]

[Zhao Song]

On Wed, 30 Apr 2025 22:09:29 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> I'm not sure about the name. Perhaps "touch" would be a better analogy?

Maybe we can also add "touch" as an alias

> bots/pr/src/main/java/org/openjdk/skara/bots/pr/PingCommand.java line 57:
> 
>> 55:     public void handle(PullRequestBot bot, PullRequest pr, CensusInstance censusInstance, ScratchArea scratchArea, CommandInvocation command, List<Comment> allComments, PrintWriter reply) {
>> 56:         if (!pr.author().equals(command.user()) && !censusInstance.isReviewer(command.user())) {
>> 57:             reply.println("Only the author of the pull request or [Reviewers](https://openjdk.org/bylaws#reviewer) are allowed to change the number of required reviewers.");
> 
> Copy-paste error?
> 
> I think we can allow any census member to use this command.

No, I did it intentionally. I think this will trigger the re-evaluate of the pr, so it will consume skara resources.

-------------

PR Comment: https://git.openjdk.org/skara/pull/1716#issuecomment-2843487650
PR Review Comment: https://git.openjdk.org/skara/pull/1716#discussion_r2069550849