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