Integrated: 2124: SKARA Commands Intercepted By GitLab

[Zhao Song]

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.

This pull request has now been integrated.

Changeset: fe721f6d
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/fe721f6dd170afcfa97f79715fbe07735818e391
Stats:     19 lines in 7 files changed: 8 ins; 0 del; 11 mod

2124: SKARA Commands Intercepted By GitLab

Reviewed-by: erikj

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

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