RFR: 2480: Add new PR command /touch [v4]

[Erik Joelsson]

On Mon, 5 May 2025 20:14:40 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> This PR is trying to add a new pull request command "touch".
>> 
>> The reported wants to have a pull request command that can refresh the timeouts of the pr so that the pr wouldn't be closed by pullRequestPrunerBot.
>>  
>> The reported proposed to name the command "keep-alive" with alias "/ping", however, we store command names in an Enum class, so "keep-alive" is invalid. I think we just use "touch" as the command name.
>> 
>> Besides, I would like to let the command trigger a force update of the pr. Currently, there are some cases that skara bot won't re-evaluate the pr automatically and users need to do something to poke it(like editing the pr title), so I think it's better to have a pull request command to trigger the update.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
> 
>   review comment

Marked as reviewed by erikj (Lead).

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

PR Review: https://git.openjdk.org/skara/pull/1716#pullrequestreview-2816184078