Integrated: 2480: Add new PR command /touch

[Zhao Song]

On Wed, 30 Apr 2025 21:31:18 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.

This pull request has now been integrated.

Changeset: b99d1edf
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/b99d1edfea89cb1dabbf507953b660feaa78a486
Stats:     104 lines in 7 files changed: 96 ins; 0 del; 8 mod

2480: Add new PR command /touch

Reviewed-by: erikj

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

PR: https://git.openjdk.org/skara/pull/1716