chore: rename types command to typecheck #28

Merged
Ghost merged 0 commits from refs/pull/28/head into main 2025-10-27 18:03:40 +00:00
Ghost commented 2025-10-27 18:03:29 +00:00 (Migrated from codeberg.org)

Not much to it! Just bringing some consistency between all projects.

I originally used names like types as other projects I contributed did it, but honestly it's very unintuitive. I find typecheck to be much easier to remember, so I'll be updating all projects with typechecking to use this name.

Not much to it! Just bringing some consistency between all projects. I originally used names like `types` as other projects I contributed did it, but honestly it's very unintuitive. I find `typecheck` to be much easier to remember, so I'll be updating all projects with typechecking to use this name.
Ghost commented 2025-10-27 18:03:40 +00:00 (Migrated from codeberg.org)

mentioned in commit 97c3d842b9

mentioned in commit 97c3d842b960cf6de8c2634dfeb8992f8b0bbe24
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
SethFalco/matrix-stream-alerts!28
No description provided.