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.

Sign up for GitHub

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

Jump to bottom

Is this library unmaintained / dead? #1202

Open
jaens opened this issue Mar 17, 2024 · 1 comment
Open

Is this library unmaintained / dead? #1202

jaens opened this issue Mar 17, 2024 · 1 comment
Labels
enhancement New feature or request needs assessment This needs to be looked at by a team member

Comments

@jaens
Copy link

jaens commented Mar 17, 2024 •
edited

Problem description

Pull requests have not been merged since Dec 2023 (and there are quite a few high-severity issues that I immediately ran into, starting from eg. #1150)?

Suggested solution

Potentially:

  • Mark the project as inactive in case there is no desire to maintain it.
  • Put up a notice to look for a co-maintainer.

Additional context

No response
@jaens jaens added enhancement New feature or request needs assessment This needs to be looked at by a team member labels Mar 17, 2024
@jaens jaens mentioned this issue Apr 20, 2024
Open
@blissdev
Copy link

blissdev commented May 1, 2024

Curious as well. Running into issues with type.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request needs assessment This needs to be looked at by a team member
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@blissdev @jaens