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: Apr 20 2024 at 06:02 UTC