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

Repository maintainer wanted #10

Closed
mavnn opened this issue Sep 4, 2017 · 5 comments
Closed

Repository maintainer wanted #10

mavnn opened this issue Sep 4, 2017 · 5 comments
Assignees

Comments

@mavnn
Copy link
Owner

mavnn commented Sep 4, 2017

I no longer use mintty myself; if you do and you'd be happy to help maintain the project, do let me know.

@mavnn mavnn changed the title Repository maintainer Repository maintainer wanted Sep 4, 2017
@DoomHammer
Copy link
Collaborator

I find it useful, so in case you're still interested, we can talk about it :)

@mavnn
Copy link
Owner Author

mavnn commented Dec 9, 2019

Hi @DoomHammer ! Thanks for the offer.

To be honest, given the fact I no longer with mintty installed to test changes means that an other maintainer would be great. I'm happy to give you commit access to the repository if that works for you and see how things go from there - to be honest it's not a project with a huge rate of change!

@DoomHammer
Copy link
Collaborator

I think this'll work. It seems pretty stable and the number of feature requests is moderate, so it should be smooth sailing ;)

@mavnn
Copy link
Owner Author

mavnn commented Dec 9, 2019

If you're feeling super enthusiastic you could even check if the suggestion in #9 works and we'll have a clean issue slate ;)

@mavnn mavnn closed this as completed Dec 9, 2019
@DoomHammer
Copy link
Collaborator

Perfect :)

@DoomHammer DoomHammer self-assigned this Dec 11, 2019
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

2 participants