Stream: coq-community devs & users

Topic: Octobox


view this post on Zulip Théo Zimmermann (Dec 05 2022 at 08:55):

Does anyone use Octobox? Otherwise, I propose to remove the GitHub App authorization in the coq-community organization.

view this post on Zulip Karl Palmskog (Dec 05 2022 at 09:31):

pretty sure nobody's using this, I vote for removal

view this post on Zulip Théo Zimmermann (Dec 07 2022 at 14:28):

Done.


Last updated: Feb 05 2023 at 14:02 UTC