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 Autosubst version 1 to coq-community #122

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

Project name: Autosubst (version 1)

Initial author(s): Steven Schäfer and Tobias Tebbi

Current URL: https://github.com/uds-psl/autosubst (the most recent version is found in the branch: https://github.com/uds-psl/autosubst/tree/coq86-devel)

Kind: pure Coq library

License: MIT

Description: A Coq library for parallel de Bruijn substitutions, useful when developing formal metatheory.

Status: unmaintained

New maintainers: @RalfJung and @co-dan

This is based on a discussion on Zulip.

The current proposal is that someone with access rights in the uds-psl organization transfers the above repo to the coq-community organization. @yforster can you confirm that you are able to do the transfer? If so, I can invite you to the coq-community organization.

yforster commented 3 years ago

I can confirm that I'm able to do the transfer.

palmskog commented 3 years ago

@yforster I sent you an invitation to join the organization. After you accept the invitation, feel free to transfer the repo whenever convenient.

yforster commented 3 years ago

Here you go: https://github.com/coq-community/autosubst

RalfJung commented 3 years ago

Thanks Yannick. :)

@palmskog what's next?

palmskog commented 3 years ago

@RalfJung @co-dan I have invited you to join the coq-community organization. Please accept the invitations and I can assign you to be admins for the repo.

RalfJung commented 3 years ago

Done.

palmskog commented 3 years ago

OK, since the repo has been transferred and maintainers now have admin access, let's close this issue and continue the discussion as repo issues.