This repository is not well known yet, but even among the people that know it, how to contribute and what is expected from them (or what is the plan) is not clear at all.
There should be ASAP a README with a small explanation of what the project is (including a link to coq/coq#7711 and https://github.com/orgs/coq/projects/1). It would probably be a good idea to indicate that there currently is infrastructure work going on such as coq/coq#186.
There should also be a CONTRIBUTING guide even if it is really small at the beginning explaining how people can contribute as of today (by opening issues) and explaining that contributions in the form of Coq code will be welcome in a later phase of the project.
This repository is not well known yet, but even among the people that know it, how to contribute and what is expected from them (or what is the plan) is not clear at all.
There should be ASAP a README with a small explanation of what the project is (including a link to coq/coq#7711 and https://github.com/orgs/coq/projects/1). It would probably be a good idea to indicate that there currently is infrastructure work going on such as coq/coq#186.
There should also be a CONTRIBUTING guide even if it is really small at the beginning explaining how people can contribute as of today (by opening issues) and explaining that contributions in the form of Coq code will be welcome in a later phase of the project.