I noticed there are some pull requests to contribs, e.g.,
Should we add some kind of GitHub notification on Zulip for this so we can ask if authors want to take over maintenance?
That's a very good idea!
Done. I've set it up to receive all issues and pull request events on coq-contribs repositories.
wow, that's great!
Last updated: Feb 05 2023 at 13:02 UTC