-
Notifications
You must be signed in to change notification settings - Fork 6
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#174 In rocq-community/manifesto;
Change maintainer of project apery
change-maintainerWhen a maintainer wants to step down or has become unresponsive.When a maintainer wants to step down or has become unresponsive.maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.Status: Open.#173 In rocq-community/manifesto;Change maintainer of project vsc-conceal
change-maintainerWhen a maintainer wants to step down or has become unresponsive.When a maintainer wants to step down or has become unresponsive.maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.Status: Open.#172 In rocq-community/manifesto;Proposal to move project coq-bytestring to rocq-community
move-projectMove a project to coq-community.Move a project to coq-community.Status: Open.#171 In rocq-community/manifesto;Proposal to move Area Method to rocq-community
move-projectMove a project to coq-community.Move a project to coq-community.Status: Open.#169 In rocq-community/manifesto;Proposal to move reduction-effects from coq-community to Coq main
move-projectMove a project to coq-community.Move a project to coq-community.Status: Open.#163 In rocq-community/manifesto;Proposal to move coq-primitive to Coq-community
move-projectMove a project to coq-community.Move a project to coq-community.Status: Open.#151 In rocq-community/manifesto;Proposal to move coq-library-complexity to coq-community
maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.move-projectMove a project to coq-community.Move a project to coq-community.Status: Open.#150 In rocq-community/manifesto;Proposal to move CoqIDE to Coq-community
maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.move-projectMove a project to coq-community.Move a project to coq-community.Status: Open.#145 In rocq-community/manifesto;Consolidation of generally useful Coq code into Coq Platform projects
metaTo ask questions / discuss about the organization / process of coq-community.To ask questions / discuss about the organization / process of coq-community.Status: Open.#143 In rocq-community/manifesto;CI feedback from the Coq Community Survey 2022
metaTo ask questions / discuss about the organization / process of coq-community.To ask questions / discuss about the organization / process of coq-community.Status: Open.#141 In rocq-community/manifesto;Change maintainer of ATBR
change-maintainerWhen a maintainer wants to step down or has become unresponsive.When a maintainer wants to step down or has become unresponsive.maintainer-wantedThis project is looking for a new maintainer.This project is looking for a new maintainer.Status: Open.#123 In rocq-community/manifesto;