Project dead?

[pio2398]

There are multiple open PRs, which are fairly simple and ready to merge, that have been open for months, such as:
#113
#112
Currently maintainers are @camillemndn and @JulienMalka no one else can merge these PRs.
Are any plans to move the project to e.g. nix-community or add more maintainers? Or maybe fork is a option? Community around this project can do something?
The project, even at its current stage, is usable, and it would be a shame if it just died.

[JulienMalka]

No, the project is very much not dead. Camille and I are PhD students, and this project is not our main occupation. Sometimes, this creates time periods during which we have less time to dedicate to the project.

We also focus our efforts towards better packaging of the rust ecosystem in order to be able to use automations to update it. Ultimately, only good automation is what is going to make this project sustainable.

There is no plan on moving this to nix-community, however I am personally not against welcoming new trusted people in the maintainer team.