Can we reenable the spelling bot #18508

Open
opened 2026-01-31 06:16:15 +00:00 by claunia · 0 comments
Owner

Originally created by @j4james on GitHub (Sep 19, 2022).

Description of the new feature/enhancement

I'm not entirely sure if this is intentional, but we haven't been running the spelling check on PRs for a while now, and the spelling mistakes are starting to accumulate. I'm aware of PR #13616, but I didn't think that would mean we'd stop checking spelling altogether.

Proposed technical implementation details (optional)

I'm not sure, but I'd be perfectly fine with just reverting #13616 if that's what it takes.

Originally created by @j4james on GitHub (Sep 19, 2022). # Description of the new feature/enhancement I'm not entirely sure if this is intentional, but we haven't been running the spelling check on PRs for a while now, and the spelling mistakes are starting to accumulate. I'm aware of PR #13616, but I didn't think that would mean we'd stop checking spelling altogether. # Proposed technical implementation details (optional) I'm not sure, but I'd be perfectly fine with just reverting #13616 if that's what it takes.
claunia added the Issue-TaskNeeds-Tag-FixProduct-Meta labels 2026-01-31 06:16:15 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#18508