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 repository still maintained? #63

Open
Djaytan opened this issue Aug 23, 2024 · 0 comments
Open

Is this repository still maintained? #63

Djaytan opened this issue Aug 23, 2024 · 0 comments

Comments

@Djaytan
Copy link

Djaytan commented Aug 23, 2024

Hello,

I'm asking this question since I can see that no commit has been merged in the main branch since several years now. The latest PR merged is the following one: #34. On the other side, some issues need to be solved such as #61 and #59. Some new features of Java like records are not fully supported as well.

If you are no longer maintaining this repository, I'm ok to take the relay if you agree.

In case of no response, I may consider creating a fork of this repository because I really think such tool is useful.

Anyway, thanks a lot for your great work!

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

1 participant