Skip to content

Conversation

@DerManoMann
Copy link
Collaborator

No description provided.

@DerManoMann DerManoMann force-pushed the improve-phpstan-config branch from 748ea04 to 3614b46 Compare January 23, 2026 03:09
@DerManoMann DerManoMann merged commit 9cdd14a into zircote:master Jan 23, 2026
14 checks passed
@DerManoMann DerManoMann deleted the improve-phpstan-config branch January 23, 2026 03:10
@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-1928-to-5.x
git worktree add --checkout .worktree/backport-1928-to-5.x backport-1928-to-5.x
cd .worktree/backport-1928-to-5.x
git reset --hard HEAD^
git cherry-pick -x 9cdd14ac8d78072b7663d671382781bb52588b9e
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