Skip to content

Conversation

@DerManoMann
Copy link
Collaborator

No description provided.

@DerManoMann DerManoMann merged commit 18147e4 into zircote:master Jan 13, 2026
14 checks passed
@DerManoMann DerManoMann deleted the unfix-rector branch January 13, 2026 21:03
@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-1913-to-5.x
git worktree add --checkout .worktree/backport-1913-to-5.x backport-1913-to-5.x
cd .worktree/backport-1913-to-5.x
git reset --hard HEAD^
git cherry-pick -x 18147e416135d9bdc237c62670c985a93c52ece7
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