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

Looking for a maintainer #285

Closed
localheinz opened this issue Mar 3, 2022 · 7 comments
Closed

Looking for a maintainer #285

localheinz opened this issue Mar 3, 2022 · 7 comments
Assignees
Labels

Comments

@localheinz
Copy link
Contributor

I do not use phpstan/phpstan and I do not use phpspec/prophecy.

Perhaps someone else has interest in maintaining this repository?

/cc @Jan0707

@szepeviktor
Copy link
Contributor

I do not use phpstan/phpstan

OFF: What makes you use Psalm instead of PHPStan? I'm curious.

@ciaranmcnulty
Copy link

Maybe a lot of the stubs could be added to prophecy itself?

@alexander-schranz
Copy link
Collaborator

alexander-schranz commented Sep 16, 2023

As the maintainance looks not a lot todo I could take it over. I mostly use the plugin on most projects and so if there are any issues to fix I would stumble over directly. And as using it also in other Open Source Software which I require to be keep compatible with newer PHP versions I also can tackle that part for this project. What I'm not planning to add new features to implement but for maintainance I could take it, if nothing speaks against it.

@localheinz
Copy link
Contributor Author

Sounds good, @alexander-schranz!

Now we only need @Jan0707 to invite you here!

@Jan0707
Copy link
Owner

Jan0707 commented Mar 4, 2024

Done!

@Jan0707 Jan0707 closed this as completed Mar 4, 2024
@jseparovic1
Copy link
Contributor

@alexander-schranz Are you still interested in the maintaining the project? Let me know if any help is needed as we are actively using the plugin as well.

@alexander-schranz
Copy link
Collaborator

alexander-schranz commented Mar 5, 2024

@jseparovic1 I will have at the open PR soonish. If you want please have a look at @localheinz PR #327. I'm not 100% sure there what is broken and how we may can avoid it in a none breaking way.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

6 participants