[PR #10824] Add dummy title to the sidebar before checking docs #12642

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

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

State: closed
Merged: Yes


The way we have our docs, the sidebar is a separate document and as such, needs a title. Let us prepend a dummy title until the guides-cli provides a way to ignore that particular error.

**Original Pull Request:** https://github.com/doctrine/orm/pull/10824 **State:** closed **Merged:** Yes --- The way we have our docs, the sidebar is a separate document and as such, needs a title. Let us prepend a dummy title until the guides-cli provides a way to ignore that particular error.
admin added the pull-request label 2026-01-22 16:14:43 +01:00
admin closed this issue 2026-01-22 16:14:44 +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#12642