Skip to content

Fix typos in release script comments #11110

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 29, 2025
Merged

Fix typos in release script comments #11110

merged 1 commit into from
Jul 29, 2025

Conversation

philderbeast
Copy link
Collaborator

@philderbeast philderbeast commented Jul 27, 2025 •
edited
Loading

Fix typos in release script comments.

Is 'useable' preferred in certain regions, or just an alternate spelling of 'usable'?

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

@geekosaur
Copy link
Collaborator

Do we want this in light of #11072?

@philderbeast
Copy link
Collaborator Author

Do we want this in light of #11072?

Not when #11072 is merged but as it stands, the master branch has these typos.

ulysses4ever
ulysses4ever approved these changes Jul 27, 2025
View reviewed changes
Copy link
Collaborator

@ulysses4ever ulysses4ever left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@philderbeast philderbeast added the merge me Tell Mergify Bot to merge label Jul 27, 2025
@philderbeast
Copy link
Collaborator Author

Thanks for the approvals.

@mergify mergify bot added ready and waiting Mergify is waiting out the cooldown period merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days labels Jul 27, 2025
@mergify mergify bot merged commit 27593dc into haskell:master Jul 29, 2025
55 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@geekosaur geekosaur geekosaur approved these changes

@ulysses4ever ulysses4ever ulysses4ever approved these changes

Assignees
No one assigned
Labels
merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@philderbeast @geekosaur @ulysses4ever