Stream: coq-community devs & users

Topic: Pull requests to contribs

Karl Palmskog (Nov 19 2021 at 10:21):

I noticed there are some pull requests to contribs, e.g.,

• https://github.com/coq-contribs/paradoxes/pull/2
• https://github.com/coq-contribs/zchinese/pull/1

Should we add some kind of GitHub notification on Zulip for this so we can ask if authors want to take over maintenance?

Théo Zimmermann (Nov 19 2021 at 17:43):

That's a very good idea!

Théo Zimmermann (Nov 19 2021 at 17:52):

Done. I've set it up to receive all issues and pull request events on coq-contribs repositories.

Karl Palmskog (Nov 19 2021 at 18:26):

wow, that's great!

Last updated: Jun 03 2023 at 17:29 UTC