It looks, like the last action by the maintainer on this project is 4 years ago. Meanwhile, there are many pull-requests unanswered.
We should decide on a fork to be the new main one, add some of the people that made PRs on this repo as maintainers/owners there (so it is less likely to get to an abandoned state again), and merge the open PRs from this repo there.
Anyone with me on this one?
Who would be wiling to be a co-owner/-maintainer on the new repo?
It would not come with any fixed responsibility or time involvement.
It looks, like the last action by the maintainer on this project is 4 years ago. Meanwhile, there are many pull-requests unanswered. We should decide on a fork to be the new main one, add some of the people that made PRs on this repo as maintainers/owners there (so it is less likely to get to an abandoned state again), and merge the open PRs from this repo there. Anyone with me on this one? Who would be wiling to be a co-owner/-maintainer on the new repo? It would not come with any fixed responsibility or time involvement.