mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
[PR #12327] [MERGED] Update branch metadata #13700
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?
📋 Pull Request Information
Original PR: https://github.com/doctrine/orm/pull/12327
Author: @greg0ire
Created: 12/19/2025
Status: ✅ Merged
Merged: 12/20/2025
Merged by: @SenseException
Base:
3.6.x← Head:update-branch-metadata📝 Commits (2)
9203646Update branch metadata43f2864doc: drop old releases📊 Changes
2 files changed (+14 additions, -59 deletions)
View changed files
📝
.doctrine-project.json(+6 -51)📝
README.md(+8 -8)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.