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 new maintainers #47

Closed
mvdan opened this issue Jan 15, 2018 · 6 comments
Closed

Looking for new maintainers #47

mvdan opened this issue Jan 15, 2018 · 6 comments

Comments

@mvdan
Copy link
Contributor

mvdan commented Jan 15, 2018

I picked up hint in early 2016 because I needed to use it for a project at university, and I needed it to support the latest GHC version at the time. While at it, other work was done like adding CI and cleaning up the codebase.

That project finished long ago, so I no longer have a reason to actively maintain hint. I haven't abandoned it, but as one can see by the number of issues and pull requests, it requires someone with more time and incentive to do work.

If anyone would be interested in maintaining the project, I'd gladly hand it over and we can move this GitHub repo somewhere else. Ideally an organization so that the repo lives at github.com/some-org/hint, so that we don't have a bus factor like we do now.

/cc @gelisam @int-e @jcpetruzza @meditans and others

@gelisam
Copy link
Contributor

gelisam commented Jan 15, 2018

I can't say I have enough bandwidth to actively maintain hint (open issues are also piling up in my other open source projects), but if you need to take some time off of the project, I can at least respond to new issues as they come up. Unless they come with a PR, they're likely to remain open though.

@mvdan
Copy link
Contributor Author

mvdan commented Jan 15, 2018

I don't think one maintainer with lots of time would be necessary - perhaps three or four with a little time here and there would be enough. I simply don't want to be the bottleneck nor own the repository in that scenario.

And yeah, I'm not too worried about the enhancement issues that have no pull requests. A bit more worried about the bugs, questions, and open PRs, though.

@Wizek
Copy link
Contributor

Wizek commented Jan 16, 2018

@mvdan You may find this article interesting.

Also, there is some discussion around it here.

@mvdan
Copy link
Contributor Author

mvdan commented Jan 16, 2018

I remember reading that - certainly interesting, and I'm definitely in favor of giving write acces to anyone who wants it and has contributed. @gelisam already has it.

But I don't think handing it out to someone before they have contributed is a good plan - could backfire in fun ways. Any maintainer is better than no maintainer, but we're not there yet :)

@mvdan
Copy link
Contributor Author

mvdan commented Mar 3, 2018

Now that @gelisam is helping me a bit more, I think we're fine for the time being. And it's not like anyone has stepped up to take a more active role. Closing for now.

@gelisam
Copy link
Contributor

gelisam commented Nov 11, 2019

Well, looks like I'm the de facto maintainer now. I didn't want to take on yet another project, because I have so many on my plane now that each of them gets very little of my time, but it looks like I'm the one who cares the most about keeping hint alive :)

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

No branches or pull requests

3 participants