mirror of
https://github.com/doctrine/orm.git
synced 2026-03-24 06:52:09 +01:00
Dummy title instead of actual title #7179
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @filippovicari426 on GitHub (Jul 12, 2023).
Hi I wanted to let you know about this minor issue. In these pages every other title is Dummy Title
https://www.doctrine-project.org/projects/doctrine-orm/en/2.15
@greg0ire commented on GitHub (Jul 12, 2023):
😮
@greg0ire commented on GitHub (Jul 12, 2023):
Now I understand your comment @SenseException ! I thought I had not commit the change in the sidebar in https://github.com/doctrine/orm/pull/10824#issuecomment-1627829663 🤦
@greg0ire commented on GitHub (Jul 12, 2023):
Thanks for reporting it. I think https://github.com/doctrine/doctrine-website/actions/runs/5526467336/jobs/10088183684 will fix it.
@greg0ire commented on GitHub (Jul 12, 2023):
Fixed. Phew. Thanks for saving us me more embarrassment 🙏
@filippovicari426 commented on GitHub (Jul 12, 2023):
@greg0ire we are all humans after all 😊was the least I could do to contribute to this project