diff --git a/text/068-coqide-split.md b/text/068-coqide-split.md index e904f81e..fd842618 100644 --- 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: \ 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.