Propose to volunteer CoqIDE contributors to also share their plans.

coq · Apr 27, 2023 · c69ea0c · c69ea0c
1 parent 3fa5e10
commit c69ea0c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/text/068-coqide-split.md b/text/068-coqide-split.md
@@ -98,3 +98,5 @@ If maintainers are found, CoqIDE sources will be moved to a repository in the Co
 More details about the context and the plans for the future of IDEs for Coq can be found in the CEP leading to this call: \<add link to this CEP here\>
 
 Please respond to this GitHub issue with a brief motivation and summary of relevant experience for becoming a CoqIDE maintainer. As part of their application, volunteer maintainers are encouraged to briefly present their short-term and long-term plans for CoqIDE and how long they think they will remain active on CoqIDE maintenance. However, this won't be considered as a commitment on their part, as plans and priorities can evolve based on the context and personal circumstances. The maintainer(s) will be selected from the issue responders by the Coq core team and Coq-community organization owners. Responders not selected will still be encouraged to contribute to CoqIDE in collaboration with the new maintainer(s) and other contributors.
+
+Anyone else planning to get involved as an active and regular contributor to the CoqIDE project is also welcome to make themselves known in this GitHub issue and to briefly present which improvements and changes they plan to propose.