Stream: Coq Platform devs & users

Topic: GitHub event Zulip integration?

view this post on Zulip Karl Palmskog (Oct 23 2022 at 10:49):

Is there any event integration for the Coq Platform GitHub repo with Zulip? Or could it be added maybe? It would be convenient to see what's going on with the Platform on GitHub inside the Zulip

view this post on Zulip Théo Zimmermann (Oct 24 2022 at 09:16):

There is none currently, but we can set it up: https://coq.zulipchat.com/integrations/doc/github

Last updated: Jun 03 2023 at 05:01 UTC