search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

maintainer of project X #157

Closed proux01 closed 5 months ago

proux01 commented 5 months ago

Project name and URL:

Current maintainer:

Status:

New maintainer: looking for a volunteer

If no volunteer are found, the project will be marked as unmaintained until a new one is found.

Zimmi48 commented 5 months ago

Opened by mistake?

Zimmi48 commented 5 months ago

Opened by mistake?

proux01 commented 5 months ago

Oups, yes, thanks for noticing, I still don't fully master the issue generator.