Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Droped Psalm #91

Merged
merged 2 commits into from
Nov 28, 2024
Merged

Droped Psalm #91

merged 2 commits into from
Nov 28, 2024

Conversation

driehle
Copy link
Member

@driehle driehle commented Nov 28, 2024

Psalm is dropped in favour of PHPStan, according to Doctrine's upstream workflows.

@driehle driehle self-assigned this Nov 28, 2024
@driehle driehle added the Enhancement New feature or request label Nov 28, 2024
@driehle driehle added this to the 3.5.0 milestone Nov 28, 2024
@driehle driehle marked this pull request as ready for review November 28, 2024 13:05
@greg0ire
Copy link
Member

greg0ire commented Nov 28, 2024

There are occurrences of psalm in hidden files such as .gitattributes

Here is a list of steps you might want to know about: https://github.com/doctrine/.github/releases/tag/5.2.0

@driehle driehle force-pushed the drop-psalm branch 2 times, most recently from 8d1c63b to 5c706e7 Compare November 28, 2024 13:09
@greg0ire
Copy link
Member

There are more occurrences (annotations). Please use search and replace 😛

@driehle driehle merged commit 16ac460 into doctrine:3.5.x Nov 28, 2024
10 checks passed
@driehle driehle deleted the drop-psalm branch November 28, 2024 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants