@BioJuliaBot register
... for yours it says @biojuliabot register
... Here's my idea what's happening - may be wrong, maybe not: So I think if you or anyone enters @biojuliabot register
, whilst GitHub will recognize you're using BioJuliaBot's handle and will capitalize it for you when it renders your comment - Registrator is far more literal, and when the comment data arrives in the HTTP payload, it's like "@biojuliabot? Who's that? I'm listening for @BioJuliaBot!" ... and so it's ignoring you until you capitalize it's name!
Yep ok here's the relevant registrator code:
trigger = Regex(CONFIG["trigger"] * "(.*)")
listener = GitHub.CommentListener(comment_handler, trigger; check_collab=false, auth=auth, secret=CONFIG["github"]["secret"])
So the trigger is a regex of the exact trigger phrase (@BioJuliaBot register) followed by any other text, so it's gonna be sniffy about the caps!