[PR #11614] Guides as dev dependency #13126

Closed
opened 2026-01-22 16:16:16 +01:00 by admin · 0 comments
Owner

Original Pull Request: https://github.com/doctrine/orm/pull/11614

State: closed
Merged: Yes


Needs https://github.com/doctrine/doctrine-website/pull/618

Note that there isn't a version of guides which is compatible with PHP 8.1, and I don't want contributors (or us, in the CI) to have to tweak the composer.json to be able to install the project so I'm targeting 3.2.x.

**Original Pull Request:** https://github.com/doctrine/orm/pull/11614 **State:** closed **Merged:** Yes --- Needs https://github.com/doctrine/doctrine-website/pull/618 Note that there isn't a version of guides which is compatible with PHP 8.1, and I don't want contributors (or us, in the CI) to have to tweak the `composer.json` to be able to install the project so I'm targeting 3.2.x.
admin added the pull-request label 2026-01-22 16:16:16 +01:00
admin closed this issue 2026-01-22 16:16:16 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: doctrine/archived-orm#13126