[ffaf1]

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

[zlonast]

Use it #12472

[ffaf1]

@mergify rebase

[mergify]

rebase

❌ This pull request comes from a fork and cannot be rebased

Details

GitHub refuses an OAuth token on its rebase API for a fork, so rebasing one means impersonating a GitHub user to force-push the contributor's branch. Mergify does not do that.

Use the update action or the @mergifyio update command instead: it brings the pull request up to date by merging the base branch into it, and needs no impersonation. It only has something to do when the pull request is behind its base branch, so if what the branch needs is a linear history, its author has to rebase it themselves.

[zlonast]

@mergify backport master

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-10-19 04:35 UTC · Rule: default · triggered by rule Put release branch pull requests in the rebase+merge queue
• ✅ Checks skipped · PR is already up-to-date
• ✅ Merged — 2026-10-19 04:46 UTC · at b3904339e3c0a1a92a4b6f5d96c30d52150948b0 · merge

This pull request spent 10 minutes 41 seconds in the queue, including 2 seconds running CI.

Required conditions to merge

• #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • Fix changelog heading #12471
• github-review-approved [🛡 GitHub branch protection]
  • Fix changelog heading #12471
• any of [🛡 GitHub branch protection]:
  • check-success = Doctest Cabal
  • check-neutral = Doctest Cabal
  • check-skipped = Doctest Cabal
• any of [🛡 GitHub branch protection]:
  • check-success = Meta checks
  • check-neutral = Meta checks
  • check-skipped = Meta checks
• any of [🛡 GitHub branch protection]:
  • check-success = Validate post job
  • check-neutral = Validate post job
  • check-skipped = Validate post job
• any of [🛡 GitHub branch protection]:
  • check-success = docs/readthedocs.org:cabal
  • check-neutral = docs/readthedocs.org:cabal
  • check-skipped = docs/readthedocs.org:cabal
• any of [🛡 GitHub branch protection]:
  • check-success = Bootstrap post job
  • check-neutral = Bootstrap post job
  • check-skipped = Bootstrap post job
• any of [🛡 GitHub branch protection]:
  • check-success = whitespace
  • check-neutral = whitespace
  • check-skipped = whitespace
• any of [🛡 GitHub branch protection]:
  • check-success = Check sdist post job
  • check-neutral = Check sdist post job
  • check-skipped = Check sdist post job
• any of [🛡 GitHub branch protection]:
  • check-success = Changelogs
  • check-neutral = Changelogs
  • check-skipped = Changelogs

[mergify]

backport master

✅ Backports have been created

Details

• #12474 Backport #12471: Fix changelog heading has been created for branch master