RFR: 1789: Skara PR commands are not interpreted on Github review comments [v4]

[Zhao Song]

> 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.

Zhao Song has updated the pull request incrementally with two additional commits since the last revision:

 - delete useless import
 - fix a problem

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

Changes:
  - all: https://git.openjdk.org/skara/pull/1458/files
  - new: https://git.openjdk.org/skara/pull/1458/files/c5cb717e..5d13903c

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=skara&pr=1458&range=03
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1458&range=02-03

  Stats: 9 lines in 2 files changed: 0 ins; 6 del; 3 mod
  Patch: https://git.openjdk.org/skara/pull/1458.diff
  Fetch: git fetch https://git.openjdk.org/skara pull/1458/head:pull/1458

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