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

Is this repo dead? #244

Closed
mjablecnik opened this issue Oct 27, 2021 · 5 comments
Closed

Is this repo dead? #244

mjablecnik opened this issue Oct 27, 2021 · 5 comments

Comments

@mjablecnik
Copy link

@kcrebound @meltenc @cadicetienne @imp-dance @jaumard
Is this project dead? Because I don't see very big activity here for last year and a lot of PR or Issues are not resolving..

@miguelpruivo
Copy link
Collaborator

Looks like maintainers are missing. Maybe you may want to give someone access to at least handle the PRs and help you out with it. I don't mind helping if you want.

@florent37
Copy link
Member

Hi yes sorry we do not have time to maintain it, @miguelpruivo I gave you maintain rights if you want to make it alive with adding others maintainers etc, we'll be so grateful

@miguelpruivo
Copy link
Collaborator

miguelpruivo commented Nov 9, 2021

@florent37 no problem. I’ll see what I can do, at least I should be able to review/check critical PRs, however I won’t probably be able to publish on pub.dev unless you invite me there as well (miguelruivo.com).

edit: never mind, already saw that you have a publish job. 👍🏻

@florent37
Copy link
Member

Yes you can already do it with the job 💪

@miguelpruivo
Copy link
Collaborator

Yes you can already do it with the job 💪

Great!

Closing.

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

No branches or pull requests

3 participants