You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
The library is still maintained and hopefully there will be more activity on this repo soon.
There just aren't enough active people to deal with the reports in case we break something with a minor/patch release. The testing environment we use ourselves doesn't provide the necessary feedback yet. (See the pinned issues.)
Once this is resolved there will be a minor release incorporating multiple open PRs that probably are good enough already.
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:
Additional context
No response
The text was updated successfully, but these errors were encountered: