Skip to content

Conversation

@ulysses4ever
Copy link
Collaborator

@ulysses4ever ulysses4ever commented Oct 7, 2025

never shall I ever will use codespaces on cabal repository...

this finishes up a fix for #11246. See a screenshot for what goes wrong. The new look is all right:

2025-10-07_14-10-1759861677

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

@ulysses4ever ulysses4ever requested a review from geekosaur October 7, 2025 18:28
@ulysses4ever ulysses4ever added re: readthedocs Concerning hosting documentation on `readthedocs` priority: high 🔥 labels Oct 7, 2025
@geekosaur
Copy link
Collaborator

FWIW I feel like there should be more documentation somewhere about why we need to peg an older docutils, especially if there's a security fix needed in the future. This may be a separate issue about what's needed to migrate to a newer version of it.

@ulysses4ever
Copy link
Collaborator Author

I totally agree. Maybe we should just leave your issue about footnotes open and consider this pin an (unfortunate) workaround?

The idea to pin docutils comes from Google AI... It appears luckier than Copilot.

@geekosaur
Copy link
Collaborator

I suspect it's better-trained. But still not very well trained, if it thinks pinning an old version of something is a viable solution instead of a temporary workaround.

@ulysses4ever ulysses4ever added the merge me Tell Mergify Bot to merge label Oct 7, 2025
@mergify mergify bot added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days queued labels Oct 7, 2025
@mergify mergify bot merged commit 84f2e4f into haskell:master Oct 7, 2025
288 checks passed
@mergify mergify bot removed the queued label Oct 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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 🔥 re: readthedocs Concerning hosting documentation on `readthedocs`

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants