make space before bot command optional

[boegel]

bot:build ... or bot: build should both work just fine, no reason to require a hard space in between

[trz42]

Good idea 👍

Have you tested it?

[boegel]

Good idea 👍

Have you tested it?

I hadn't yet actually, and when I did I found a bug:

[20250619-T11:58:38] get_bot_command(): searching for bot command in 'bot:build instance:vsc-bot-gent arch:RHEL9/zen2-ib'
[20250619-T11:58:38] WARNING: A crash occurred!
Traceback (most recent call last):
  File "/venv_apps_bot_p39/lib64/python3.9/site-packages/pyghee/lib.py", line 194, in process_event
    self.handle_event(event_info, log_file=log_file)
  File "/venv_apps_bot_p39/lib64/python3.9/site-packages/pyghee/lib.py", line 124, in handle_event
    handler(event_info, log_file=log_file)
  File "/eessi-bot-software-layer/eessi_bot_event_handler.py", line 201, in handle_issue_comment_event
    if not contains_any_bot_command(comment_received):
  File "/eessi-bot-software-layer/tools/commands.py", line 33, in contains_any_bot_command
    return any(map(get_bot_command, body.split('\n')))
  File "/eessi-bot-software-layer/tools/commands.py", line 52, in get_bot_command
    return match.group(1).rstrip()
AttributeError: 'NoneType' object has no attribute 'rstrip'

fixed in 66005da + 8eec372, also added log messages

[trz42]

lgtm