Change maintainer of ATBR #123
Labels
change-maintainer
When a maintainer wants to step down or has become unresponsive.
coq-library
coq-plugin
maintainer-wanted
This project is looking for a new maintainer.
Project name and URL: https://github.com/coq-community/atbr
Current maintainer: @tchajed
Status: unmaintained
New maintainer: looking for a volunteer
@tchajed has indicated he wants to step down as maintainer of ATBR due to other commitments. Until a new maintainer is found, other coq-community members can collaborate to do basic project maintenance. The project is likely to work at least through 8.13 with only minor changes required.
The text was updated successfully, but these errors were encountered: