Stream: coq-community devs & users

Topic: GitHub notifications integration

view this post on Zulip Karl Palmskog (May 31 2020 at 16:31):

Is it possible to integrate the GitHub notifications from the manifesto repo here? Since it's right now fairly low traffic, would be convenient to have in Zulip

view this post on Zulip Théo Zimmermann (May 31 2020 at 16:32):

Sure!

view this post on Zulip Théo Zimmermann (May 31 2020 at 16:34):

They could also go in the GitHub notifications stream under a specific topic BTW.

Last updated: Jun 03 2023 at 15:31 UTC