RFR: 755: Anything starting with a "/" is treated as a command [v2]
Vijay Kulkarni
duke at openjdk.org
Tue Feb 28 19:29:07 UTC 2023
On Tue, 28 Feb 2023 17:06:35 GMT, Vijay Kulkarni <duke at openjdk.org> wrote:
>> 755: Anything starting with a "/" is treated as a command
>
> Vijay Kulkarni has updated the pull request incrementally with one additional commit since the last revision:
>
> 755:unified the regex for archive and execution command. Bot should react to invalid sakra commands
Implemented suggested changes to
1. unify the command identification check for the bot and archive
2. tightened the regex pattern to identify Skara-like commands more accurately. (lowercase and separated by white space).
-------------
PR: https://git.openjdk.org/skara/pull/1479
More information about the skara-dev
mailing list