Skip to content
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.

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

Add OrPatterns extensions #10339

Merged
merged 7 commits into from
Sep 15, 2024
Merged

Add OrPatterns extensions #10339

merged 7 commits into from
Sep 15, 2024

Conversation

ffaf1
Copy link
Collaborator

@ffaf1 ffaf1 commented Sep 12, 2024

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Any changes that could be relevant to users have been recorded in the changelog.
  • The documentation has been updated, if necessary.
  • Manual QA notes have been included. n/a
  • Tests have been added. (Ask for help if you don’t know how to write them! Ask for an exemption if tests are too complex for too little coverage!) n/a

@ffaf1 ffaf1 added the squash+merge me Tell Mergify Bot to squash-merge label Sep 12, 2024
@ffaf1 ffaf1 mentioned this pull request Sep 12, 2024
20 tasks
@ffaf1 ffaf1 changed the title Add NamedDefaults and OrPatterns extensions Add OrPatterns extensions Sep 12, 2024
@ffaf1 ffaf1 marked this pull request as ready for review September 12, 2024 19:29
@ffaf1 ffaf1 mentioned this pull request Sep 12, 2024
2 tasks
@mergify mergify bot added the ready and waiting Mergify is waiting out the cooldown period label Sep 12, 2024
We don't need it, changes have been manually
incorporated in 3.14 release notes (haskell#10338)
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Sep 15, 2024
@mergify mergify bot merged commit 66d401b into haskell:master Sep 15, 2024
49 checks passed
@ffaf1 ffaf1 deleted the add-extensions branch September 15, 2024 17:57
mergify bot added a commit that referenced this pull request Sep 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
attention: needs-backport 3.14 merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days ready and waiting Mergify is waiting out the cooldown period squash+merge me Tell Mergify Bot to squash-merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants