Skip to content

Conversation

@DerManoMann
Copy link
Collaborator

No description provided.

@DerManoMann DerManoMann merged commit 8cc63b7 into zircote:master Jan 12, 2026
14 checks passed
@DerManoMann DerManoMann deleted the update-phpunit branch January 12, 2026 22:00
@github-actions
Copy link
Contributor

Created backport PR for 5.x:

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin backport-1909-to-5.x
git worktree add --checkout .worktree/backport-1909-to-5.x backport-1909-to-5.x
cd .worktree/backport-1909-to-5.x
git reset --hard HEAD^
git cherry-pick -x 8cc63b78ab4e936ca5cb0fb564946c7f17fa4030
git push --force-with-lease

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant