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

[Zhao Song]

On Mon, 5 May 2025 10:05:55 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> I agree with Erik that `/touch` would be a better name. The name `ping` to me indicates that you want to ask for reviewers or re-reviews, not that you want to silence the bot. If anything, that would have been a "pong" to the bot's ping. Or `/keepalive`, if dashes are problematic.

Since Erik and you have the same idea, I will rename the command to /touch

> Can you also please update the comment the bot writes to indicate that the recommended action is to write `/touch` (or `/keepalive`)? Also, if it is possible to create a link such that clicking it will start writing this as a comment for you, that would be even better. Or, at least, make it easy to copy/paste the needed command.

Yes, it's a good idea, will update the comment from PullRequestPrunerBot

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

PR Comment: https://git.openjdk.org/skara/pull/1716#issuecomment-2851896781
PR Comment: https://git.openjdk.org/skara/pull/1716#issuecomment-2851899390