mirror of
https://github.com/doctrine/orm.git
synced 2026-03-24 06:52:09 +01:00
[PR #12250] [MERGED] Merge 2.20.x up into 3.5.x #13621
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/12250
Author: @greg0ire
Created: 10/29/2025
Status: ✅ Merged
Merged: 10/29/2025
Merged by: @greg0ire
Base:
3.5.x← Head:3.5.x📝 Commits (6)
2e9a1adSetup composer lint workflow72ffb3bRemove archive exclude list0e3d5e8Drop link to mailing list0511a9fMerge pull request #12248 from greg0ire/remove-mailing-listfe5ee70Merge pull request #12247 from greg0ire/composer-lint2f8f1cfMerge remote-tracking branch 'origin/2.20.x' into 3.5.x📊 Changes
3 files changed (+62 additions, -26 deletions)
View changed files
➕
.github/workflows/composer-lint.yml(+20 -0)📝
composer.json(+42 -25)📝
docs/en/index.rst(+0 -1)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.