Skip to content

Conversation

@geekosaur
Copy link
Collaborator

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • 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).

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!

@Mikolaj
Copy link
Member

Mikolaj commented Jul 10, 2025

Given this is high priority, let me set the merge label.

@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Jul 10, 2025
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Jul 10, 2025
@mergify mergify bot merged commit 3f47625 into haskell:master Jul 10, 2025
54 checks passed
@Mikolaj
Copy link
Member

Mikolaj commented Jul 10, 2025

@mergify backport 3.16

@mergify
Copy link
Contributor

mergify bot commented Jul 10, 2025

backport 3.16

✅ Backports have been created

mergify bot added a commit that referenced this pull request Jul 10, 2025
#11063)

* missed all the copyrights in the cabal files

(cherry picked from commit 7f494c2)

# Conflicts:
#	Cabal-hooks/Cabal-hooks.cabal
#	Cabal-syntax/Cabal-syntax.cabal
#	Cabal/Cabal.cabal

* Update Cabal-hooks/Cabal-hooks.cabal

* Update Cabal-syntax/Cabal-syntax.cabal

* Update Cabal/Cabal.cabal

---------

Co-authored-by: brandon s allbery kf8nh <[email protected]>
Co-authored-by: Mikolaj Konarski <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

attention: needs-backport 3.16 attention: needs-review merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge priority: high 🔥

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants