Stream: coq-community devs & users

Topic: Pull requests to contribs


view this post on Zulip Karl Palmskog (Nov 19 2021 at 10:21):

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?

view this post on Zulip Théo Zimmermann (Nov 19 2021 at 17:43):

That's a very good idea!

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Nov 19 2021 at 18:26):

wow, that's great!


Last updated: Feb 05 2023 at 13:02 UTC