RFR: 2124: SKARA Commands Intercepted By GitLab [v2]

[Zhao Song]

> The SKARA bot supports some pull request and commit commands.
> 
> However, some of these commands conflict with built-in commands in GitLab. To prevent the commands from be intercepted by GitLab, users need to add spaces before the command.Although we clearly documented this on our wiki page, users occasionally forget about it.
> 
> I remember someone suggested that we could introduce an optional 'skara' prefix to the command. For instance, '/skara label add test' would be equal to '/label add test'. I believe implementing this enhancement would make SKARA bot more user-friendly.

Zhao Song has updated the pull request incrementally with one additional commit since the last revision:

  update regex

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

Changes:
  - all: https://git.openjdk.org/skara/pull/1594/files
  - new: https://git.openjdk.org/skara/pull/1594/files/297bdf9b..be6d5f36

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=skara&pr=1594&range=01
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1594&range=00-01

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/skara/pull/1594.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1594/head:pull/1594

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