search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Proposal to move project coq-dpdgraph to coq-community #131

Closed ybertot closed 2 years ago

ybertot commented 2 years ago

Project name: coq-dpdgraph

Initial author(s): Anne Pacalet (@Karmaki), Yves Bertot, Olivier Pons

Current URL: https://github.com/karmaki/coq-dpdgraph

Kind: OCaml plugin

License: GNU LGPL 2.1

Description: an Ocaml plugin to traverse the dependency graph between defined functions, types, and theorems in the Coq memory.

Status: It is maintained, part of Coq-CI, with a new version produced for each release of Coq, thanks to the kind help of the main Coq developers.

New maintainer: Yves Bertot, will be happy to onboard any other volunteer.

Zimmi48 commented 2 years ago

Thanks for opening this issue Yves! This is a follow-up of the discussion started in https://github.com/coq/platform/issues/12.

I will add @Karmaki to the organization. @ybertot already is a member, but I believe only the owner of the repo has the power of performing the repository transfer.

palmskog commented 2 years ago

Once the transfer is done, I will help set up the usual metadata file (meta.yml) and basic CI configuration.

Karmaki commented 2 years ago

@ybertot: do you want me to push the current version to a new https://github.com/coq-community/coq-dpdgraph repository, or have you planned to do it yourself? (since you said you started preparing a new version, you may have local modifications?)

palmskog commented 2 years ago

@Karmaki if you use GitHub's repository transfer feature ("Settings", then "Danger Zone"), the old repository URL will still work in the new location in the coq-community organization due to URL forwarding. So Yves will not have any trouble pushing new outstanding changes either before or after the transfer.

Note that we don't recommend creating any completely new repository (in lieu of transfer), since then all outstanding links will still go to the "old" repo.

Karmaki commented 2 years ago

Oh I see. I did not know this "transfer feature". I just did it then.

palmskog commented 2 years ago

Given that repository has been successfully moved, I think we can close this issue and continue the discussion as issues in the coq-dpdgraph repo.

Zimmi48 commented 2 years ago

@ybertot commented in the platform discussion:

I will be happy to commit to maintaining this package. Still, I would like this to be handed over to other volunteers, as soon as possible.

Should we reopen an issue to advertise that this project is looking for new maintainers?