Volunteer interim maintainers needed for VsCoq

[palmskog]

The Coq core team and Coq-community are looking for volunteer interim maintainers of the VsCoq project.

VsCoq is an extension of the Visual Studio Code (VS Code) editor to support Coq source files and interaction with Coq. In a recent survey of Coq users, around one third of respondents reported that they use VS Code for Coq.

As described in the public roadmap, VsCoq developers are currently focusing on building a new simplified architecture for VsCoq. This means that there are no longer any resources available for maintaining the current codebase.

VsCoq is an open source project available under the MIT license and developed in the Coq-community organization on GitHub. VsCoq is written in TypeScript and uses an XML-based protocol to communicate with Coq. Interim maintainers are expected to implement bugfixes, respond to pull requests and issues on GitHub, and release new versions of VsCoq on the Visual Studio Marketplace and Open VSX.

An important goal of interim maintenance is to provide a good experience for Coq users relying on VS Code for Coq while the new VsCoq architecture (and support for this architecture in Coq itself) is being developed and tested. However, interim maintainers should be aware that substantial parts of the current codebase are due to be replaced as the roadmap is implemented.

During their tenure, interim maintainers will be considered part of the Coq Team and credited for their work in release notes for Coq releases, for example on Zenodo.

Please respond to this GitHub issue with your motivation, and summary of relevant experience, for becoming an interim maintainer of VsCoq. The interim maintainer(s) will be selected from the issue responders by the Coq core team and Coq-community owners. Those not selected will still be encouraged to contribute to VsCoq in collaboration with the new maintainer(s).

[huynhtrankhanh]

I have experience with making web applications, both client side and server side in TypeScript. I am familiar with the JavaScript ecosystem. I also have experience with interactive theorem proving before. I want to help maintain VsCoq because I would love to better my formal verification skills.

[thery]

I am volunteer. I am usually vscoq on a daily basis but I have little knowledge of the current code base.

[palmskog]

@huynhtrankhanh @thery thank you for volunteering for the maintainership.

We (@Zimmi48 and I) are offering both of you to become co-maintainers of the VsCoq project. However, this assumes you are fine with sharing the maintainership (also with existing maintainer @maximedenes, who will work on the new architecture). So please signal your acceptance by replying here to this issue, e.g., reply "I accept to become VsCoq co-maintainer". Then, I will give you administrator access to the repository.

Maintainers in Coq-community are given a broad mandate to organize their projects. However, it would be good if you divide areas of responsibility between you. For example, @thery might synchronize with Maxime to handle releases on the Visual Studio Marketplace and Open VSX.

[huynhtrankhanh]

I agree to become VsCoq co-maintainer.

[palmskog]

Closing this since both new maintainers have been confirmed. Let's continue discussions about VsCoq in its GitHub repo.

[thery]

I accept to become VsCoq co-maintainer