RFR: 2124: SKARA Commands Intercepted By GitLab

[Erik Joelsson]

On Tue, 19 Dec 2023 23:30:51 GMT, Zhao Song <zsong at openjdk.org> wrote:

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

Marked as reviewed by erikj (Lead).

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

PR Review: https://git.openjdk.org/skara/pull/1594#pullrequestreview-1794510842