scripts/github: use reply_without_prefix