mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
[PR #8917] Assert action is not null #11255
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?
Original Pull Request: https://github.com/doctrine/orm/pull/8917
State: closed
Merged: No
It is used later on as an object. This does not happen in the CI,
presumably because the CI uses PHP 8. Some contributors including me
still use PHP 7.4 in some setups though.