Stream: coq-community devs & users

Topic: Slack


view this post on Zulip Théo Zimmermann (Dec 02 2022 at 10:11):

Hi @Yishuai Li :wave:
We currently have the Slack GitHub App set on the coq-community/coq-ext-lib and coq-community/reduction-effects repositories and the app is requesting new permissions (Read and write access to Actions). Before granting these new permissions, we wanted to check with you if this is still used, otherwise we could disable the app.

view this post on Zulip Yishuai Li (Dec 02 2022 at 15:18):

Please proceed at will. I'm not utilizing Slack for my current job.

view this post on Zulip Karl Palmskog (Dec 02 2022 at 15:26):

@Théo Zimmermann then I'd vote for disabling/removing the Slack app. I think we can say that people can request to add apps like this, but we will check periodically if still needed.

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

Done


Last updated: Feb 05 2023 at 13:02 UTC