ioredis is not optional

Bug Report

Current Behavior Within latest release notes it is stated that ioredis needs to be installed separately if needed; however, on a new install I encountered this when running my usual builds using Typescript tsc.

node_modules/probot/lib/probot.d.ts:3:35 - error TS2307: Cannot find module 'ioredis' or its corresponding type declarations.

import type { RedisOptions } from "ioredis";
                                    ~~~~~~~~~

node_modules/probot/lib/types.d.ts:4:35 - error TS2307: Cannot find module 'ioredis' or its corresponding type declarations.

import type { RedisOptions } from "ioredis";

Expected behavior/code An build of probot should not fail in this way. That or the ioredis package should be listed as a dependency of Probot.

Environment

• Probot version: 14.0.2
• Node/npm version: Node 23, npm 11.5
• OS: Windows 11

Edits: Reworded from using the word install to build, installs work fine. Included mention of Typescript