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

[Zhao Song]

On Fri, 22 Dec 2023 17:23:45 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.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
> 
>   update regex

Thanks.

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

PR Comment: https://git.openjdk.org/skara/pull/1594#issuecomment-1867956117