Integrated: 1789: Skara PR commands are not interpreted on Github review comments

[Zhao Song]

On Wed, 18 Jan 2023 18:04:42 GMT, Zhao Song <zsong at openjdk.org> wrote:

> A user reported that Skara bots were not responding to commands in review comments or the body of a review. 
> 
> This patch addresses that issue by ensuring that the Skara bots can correctly detect and interpret commands.

This pull request has now been integrated.

Changeset: 2d70b1bd
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/2d70b1bd4736fd1e0ea6773b8594875434cccdf6
Stats:     56 lines in 2 files changed: 53 ins; 0 del; 3 mod

1789: Skara PR commands are not interpreted on Github review comments

Reviewed-by: erikj

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

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